#include <stdlib.h>
#include "mmintrin.h"
#include "immintrin.h"
#include "tmmintrin.h"
#include "emmintrin.h"





static void sbox__0 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;
  unsigned long x58;
  unsigned long x59;
  unsigned long x60;
  unsigned long x61;
  unsigned long x62;
  unsigned long x63;

  x1 = ~(a4);
  x2 = ~(a1);
  x3 = (a3) ^ (a4);
  x4 = (x2) ^ (x3);
  x5 = (x2) | (a3);
  x6 = (x1) & (x5);
  x7 = (x6) | (a6);
  x8 = (x7) ^ (x4);
  x9 = (x2) | (x1);
  x10 = (x9) & (a6);
  x11 = (x10) ^ (x7);
  x12 = (x11) | (a2);
  x13 = (x12) ^ (x8);
  x14 = (x13) ^ (x9);
  x15 = (x14) | (a6);
  x16 = (x15) ^ (x1);
  x17 = ~(x14);
  x18 = (x3) & (x17);
  x19 = (x18) | (a2);
  x20 = (x19) ^ (x16);
  x21 = (x20) | (a5);
  x22 = (x21) ^ (x13);
  *out4 = x22;
  x23 = (x4) | (a3);
  x24 = ~(x23);
  x25 = (x24) | (a6);
  x26 = (x25) ^ (x6);
  x27 = (x8) & (x1);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x26);
  x30 = (x8) | (x1);
  x31 = (x6) ^ (x30);
  x32 = (x14) & (x5);
  x33 = (x8) ^ (x32);
  x34 = (x33) & (a2);
  x35 = (x34) ^ (x31);
  x36 = (x35) | (a5);
  x37 = (x36) ^ (x29);
  *out1 = x37;
  x38 = (x10) & (a3);
  x39 = (x4) | (x38);
  x40 = (x33) & (a3);
  x41 = (x25) ^ (x40);
  x42 = (x41) | (a2);
  x43 = (x42) ^ (x39);
  x44 = (x26) | (a3);
  x45 = (x14) ^ (x44);
  x46 = (x8) | (a1);
  x47 = (x20) ^ (x46);
  x48 = (x47) | (a2);
  x49 = (x48) ^ (x45);
  x50 = (x49) & (a5);
  x51 = (x50) ^ (x43);
  *out2 = x51;
  x52 = (x40) ^ (x8);
  x53 = (x11) ^ (a3);
  x54 = (x5) & (x53);
  x55 = (x54) | (a2);
  x56 = (x55) ^ (x52);
  x57 = (x4) | (a6);
  x58 = (x38) ^ (x57);
  x59 = (x56) & (x13);
  x60 = (x59) & (a2);
  x61 = (x60) ^ (x58);
  x62 = (x61) & (a5);
  x63 = (x62) ^ (x56);
  *out3 = x63;
}


static void sbox__1 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;

  x1 = ~(a5);
  x2 = ~(a1);
  x3 = (a6) ^ (a5);
  x4 = (x2) ^ (x3);
  x5 = (a2) ^ (x4);
  x6 = (x1) | (a6);
  x7 = (x2) | (x6);
  x8 = (x7) & (a2);
  x9 = (x8) ^ (a6);
  x10 = (x9) & (a3);
  x11 = (x10) ^ (x5);
  x12 = (x9) & (a2);
  x13 = (x6) ^ (a5);
  x14 = (x13) | (a3);
  x15 = (x14) ^ (x12);
  x16 = (x15) & (a4);
  x17 = (x16) ^ (x11);
  *out2 = x17;
  x18 = (a1) | (a5);
  x19 = (x18) | (a6);
  x20 = (x19) ^ (x13);
  x21 = (a2) ^ (x20);
  x22 = (x4) | (a6);
  x23 = (x17) & (x22);
  x24 = (x23) | (a3);
  x25 = (x24) ^ (x21);
  x26 = (x2) | (a6);
  x27 = (x2) & (a5);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x26);
  x30 = (x27) ^ (x3);
  x31 = (x19) ^ (x2);
  x32 = (x31) & (a2);
  x33 = (x32) ^ (x30);
  x34 = (x33) & (a3);
  x35 = (x34) ^ (x29);
  x36 = (x35) | (a4);
  x37 = (x36) ^ (x25);
  *out3 = x37;
  x38 = (x32) & (x21);
  x39 = (x5) ^ (x38);
  x40 = (x15) | (a1);
  x41 = (x13) ^ (x40);
  x42 = (x41) | (a3);
  x43 = (x42) ^ (x39);
  x44 = (x41) | (x28);
  x45 = (x44) & (a4);
  x46 = (x45) ^ (x43);
  *out1 = x46;
  x47 = (x21) & (x19);
  x48 = (x26) ^ (x47);
  x49 = (x33) & (a2);
  x50 = (x21) ^ (x49);
  x51 = (x50) & (a3);
  x52 = (x51) ^ (x48);
  x53 = (x28) & (x18);
  x54 = (x50) & (x53);
  x55 = (x54) | (a4);
  x56 = (x55) ^ (x52);
  *out4 = x56;
}


static void sbox__2 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a5);
  x2 = ~(a6);
  x3 = (a3) & (a5);
  x4 = (a6) ^ (x3);
  x5 = (x1) & (a4);
  x6 = (x5) ^ (x4);
  x7 = (a2) ^ (x6);
  x8 = (x1) & (a3);
  x9 = (x2) ^ (a5);
  x10 = (x9) | (a4);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (x7);
  x13 = (x11) ^ (a5);
  x14 = (x7) | (x13);
  x15 = (x14) & (a4);
  x16 = (x15) ^ (x12);
  x17 = (x16) & (a2);
  x18 = (x17) ^ (x11);
  x19 = (x18) & (a1);
  x20 = (x19) ^ (x7);
  *out4 = x20;
  x21 = (a4) ^ (a3);
  x22 = (x9) ^ (x21);
  x23 = (x4) | (x2);
  x24 = (x8) ^ (x23);
  x25 = (x24) | (a2);
  x26 = (x25) ^ (x22);
  x27 = (x23) ^ (a6);
  x28 = (a4) | (x27);
  x29 = (x15) ^ (a3);
  x30 = (x5) | (x29);
  x31 = (x30) | (a2);
  x32 = (x31) ^ (x28);
  x33 = (x32) | (a1);
  x34 = (x33) ^ (x26);
  *out1 = x34;
  x35 = (x9) ^ (a3);
  x36 = (x5) | (x35);
  x37 = (x29) | (x4);
  x38 = (a4) ^ (x37);
  x39 = (x38) | (a2);
  x40 = (x39) ^ (x36);
  x41 = (x11) & (a6);
  x42 = (x6) | (x41);
  x43 = (x38) ^ (x34);
  x44 = (x41) ^ (x43);
  x45 = (x44) & (a2);
  x46 = (x45) ^ (x42);
  x47 = (x46) | (a1);
  x48 = (x47) ^ (x40);
  *out3 = x48;
  x49 = (x38) | (x2);
  x50 = (x13) ^ (x49);
  x51 = (x28) ^ (x27);
  x52 = (x51) | (a2);
  x53 = (x52) ^ (x50);
  x54 = (x23) & (x12);
  x55 = (x52) & (x54);
  x56 = (x55) | (a1);
  x57 = (x56) ^ (x53);
  *out2 = x57;
}


static void sbox__3 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;

  x1 = ~(a1);
  x2 = ~(a3);
  x3 = (a3) | (a1);
  x4 = (x3) & (a5);
  x5 = (x4) ^ (x1);
  x6 = (a3) | (a2);
  x7 = (x6) ^ (x5);
  x8 = (a5) & (a1);
  x9 = (x3) ^ (x8);
  x10 = (x9) & (a2);
  x11 = (x10) ^ (a5);
  x12 = (x11) & (a4);
  x13 = (x12) ^ (x7);
  x14 = (x4) ^ (x2);
  x15 = (x14) & (a2);
  x16 = (x15) ^ (x9);
  x17 = (x14) & (x5);
  x18 = (x2) ^ (a5);
  x19 = (x18) | (a2);
  x20 = (x19) ^ (x17);
  x21 = (x20) | (a4);
  x22 = (x21) ^ (x16);
  x23 = (x22) & (a6);
  x24 = (x23) ^ (x13);
  *out2 = x24;
  x25 = ~(x13);
  x26 = (x22) | (a6);
  x27 = (x26) ^ (x25);
  *out1 = x27;
  x28 = (x11) & (a2);
  x29 = (x17) ^ (x28);
  x30 = (x10) ^ (a3);
  x31 = (x19) ^ (x30);
  x32 = (x31) & (a4);
  x33 = (x32) ^ (x29);
  x34 = (x33) ^ (x25);
  x35 = (x34) & (a2);
  x36 = (x35) ^ (x24);
  x37 = (x34) | (a4);
  x38 = (x37) ^ (x36);
  x39 = (x38) & (a6);
  x40 = (x39) ^ (x33);
  *out4 = x40;
  x41 = (x38) ^ (x26);
  x42 = (x40) ^ (x41);
  *out3 = x42;
}


static void sbox__4 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;
  unsigned long x58;
  unsigned long x59;
  unsigned long x60;
  unsigned long x61;
  unsigned long x62;

  x1 = ~(a6);
  x2 = ~(a3);
  x3 = (x2) | (x1);
  x4 = (a4) ^ (x3);
  x5 = (x3) & (a1);
  x6 = (x5) ^ (x4);
  x7 = (a4) | (a6);
  x8 = (a3) ^ (x7);
  x9 = (x7) | (a3);
  x10 = (x9) | (a1);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (a5);
  x13 = (x12) ^ (x6);
  x14 = ~(x4);
  x15 = (a6) & (x14);
  x16 = (x15) | (a1);
  x17 = (x16) ^ (x8);
  x18 = (x17) | (a5);
  x19 = (x18) ^ (x10);
  x20 = (x19) | (a2);
  x21 = (x20) ^ (x13);
  *out3 = x21;
  x22 = (x15) | (x2);
  x23 = (a6) ^ (x22);
  x24 = (x22) ^ (a4);
  x25 = (x24) & (a1);
  x26 = (x25) ^ (x23);
  x27 = (x11) ^ (a1);
  x28 = (x22) & (x27);
  x29 = (x28) | (a5);
  x30 = (x29) ^ (x26);
  x31 = (x27) | (a4);
  x32 = ~(x31);
  x33 = (x32) | (a2);
  x34 = (x33) ^ (x30);
  *out2 = x34;
  x35 = (x15) ^ (x2);
  x36 = (x35) & (a1);
  x37 = (x36) ^ (x14);
  x38 = (x7) ^ (x5);
  x39 = (x34) & (x38);
  x40 = (x39) | (a5);
  x41 = (x40) ^ (x37);
  x42 = (x5) ^ (x2);
  x43 = (x16) & (x42);
  x44 = (x27) & (x4);
  x45 = (x44) & (a5);
  x46 = (x45) ^ (x43);
  x47 = (x46) | (a2);
  x48 = (x47) ^ (x41);
  *out1 = x48;
  x49 = (x48) & (x24);
  x50 = (x5) ^ (x49);
  x51 = (x30) ^ (x11);
  x52 = (x50) | (x51);
  x53 = (x52) & (a5);
  x54 = (x53) ^ (x50);
  x55 = (x19) ^ (x14);
  x56 = (x34) ^ (x55);
  x57 = (x16) ^ (x4);
  x58 = (x30) & (x57);
  x59 = (x58) & (a5);
  x60 = (x59) ^ (x56);
  x61 = (x60) | (a2);
  x62 = (x61) ^ (x54);
  *out4 = x62;
}


static void sbox__5 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a2);
  x2 = ~(a5);
  x3 = (a6) ^ (a2);
  x4 = (x2) ^ (x3);
  x5 = (a1) ^ (x4);
  x6 = (a6) & (a5);
  x7 = (x1) | (x6);
  x8 = (x5) & (a5);
  x9 = (x8) & (a1);
  x10 = (x9) ^ (x7);
  x11 = (x10) & (a4);
  x12 = (x11) ^ (x5);
  x13 = (x10) ^ (a6);
  x14 = (a1) & (x13);
  x15 = (a6) & (a2);
  x16 = (a5) ^ (x15);
  x17 = (x16) & (a1);
  x18 = (x17) ^ (x2);
  x19 = (x18) | (a4);
  x20 = (x19) ^ (x14);
  x21 = (x20) & (a3);
  x22 = (x21) ^ (x12);
  *out2 = x22;
  x23 = (x18) ^ (a6);
  x24 = (x23) & (a1);
  x25 = (x24) ^ (a5);
  x26 = (x17) ^ (a2);
  x27 = (x6) | (x26);
  x28 = (x27) & (a4);
  x29 = (x28) ^ (x25);
  x30 = ~(x26);
  x31 = (x29) | (a6);
  x32 = ~(x31);
  x33 = (x32) & (a4);
  x34 = (x33) ^ (x30);
  x35 = (x34) & (a3);
  x36 = (x35) ^ (x29);
  *out4 = x36;
  x37 = (x34) ^ (x6);
  x38 = (x23) & (a5);
  x39 = (x5) ^ (x38);
  x40 = (x39) | (a4);
  x41 = (x40) ^ (x37);
  x42 = (x24) | (x16);
  x43 = (x1) ^ (x42);
  x44 = (x24) ^ (x15);
  x45 = (x31) ^ (x44);
  x46 = (x45) | (a4);
  x47 = (x46) ^ (x43);
  x48 = (x47) | (a3);
  x49 = (x48) ^ (x41);
  *out1 = x49;
  x50 = (x38) | (x5);
  x51 = (x6) ^ (x50);
  x52 = (x31) & (x8);
  x53 = (x52) | (a4);
  x54 = (x53) ^ (x51);
  x55 = (x43) & (x30);
  x56 = (x55) | (a3);
  x57 = (x56) ^ (x54);
  *out3 = x57;
}


static void sbox__6 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;
  unsigned long x55;
  unsigned long x56;
  unsigned long x57;

  x1 = ~(a2);
  x2 = ~(a5);
  x3 = (a4) & (a2);
  x4 = (a5) ^ (x3);
  x5 = (a3) ^ (x4);
  x6 = (x4) & (a4);
  x7 = (a2) ^ (x6);
  x8 = (x7) & (a3);
  x9 = (x8) ^ (a1);
  x10 = (x9) | (a6);
  x11 = (x10) ^ (x5);
  x12 = (x2) & (a4);
  x13 = (a2) | (x12);
  x14 = (x2) | (a2);
  x15 = (x14) & (a3);
  x16 = (x15) ^ (x13);
  x17 = (x11) ^ (x6);
  x18 = (x17) | (a6);
  x19 = (x18) ^ (x16);
  x20 = (x19) & (a1);
  x21 = (x20) ^ (x11);
  *out1 = x21;
  x22 = (x21) | (a2);
  x23 = (x6) ^ (x22);
  x24 = (x15) ^ (x23);
  x25 = (x6) ^ (x5);
  x26 = (x12) | (x25);
  x27 = (x26) | (a6);
  x28 = (x27) ^ (x24);
  x29 = (x19) & (x1);
  x30 = (x26) & (x23);
  x31 = (x30) & (a6);
  x32 = (x31) ^ (x29);
  x33 = (x32) | (a1);
  x34 = (x33) ^ (x28);
  *out4 = x34;
  x35 = (x16) & (a4);
  x36 = (x1) | (x35);
  x37 = (x36) & (a6);
  x38 = (x37) ^ (x11);
  x39 = (x13) & (a4);
  x40 = (x7) | (a3);
  x41 = (x40) ^ (x39);
  x42 = (x24) | (x1);
  x43 = (x42) | (a6);
  x44 = (x43) ^ (x41);
  x45 = (x44) | (a1);
  x46 = (x45) ^ (x38);
  *out2 = x46;
  x47 = (x44) ^ (x8);
  x48 = (x15) ^ (x6);
  x49 = (x48) | (a6);
  x50 = (x49) ^ (x47);
  x51 = (x44) ^ (x19);
  x52 = (x25) ^ (a4);
  x53 = (x46) & (x52);
  x54 = (x53) & (a6);
  x55 = (x54) ^ (x51);
  x56 = (x55) | (a1);
  x57 = (x56) ^ (x50);
  *out3 = x57;
}


static void sbox__7 (unsigned long a1,unsigned long a2,unsigned long a3,unsigned long a4,unsigned long a5,unsigned long a6,unsigned long* out1,unsigned long* out2,unsigned long* out3,unsigned long* out4) {
  unsigned long x1;
  unsigned long x2;
  unsigned long x3;
  unsigned long x4;
  unsigned long x5;
  unsigned long x6;
  unsigned long x7;
  unsigned long x8;
  unsigned long x9;
  unsigned long x10;
  unsigned long x11;
  unsigned long x12;
  unsigned long x13;
  unsigned long x14;
  unsigned long x15;
  unsigned long x16;
  unsigned long x17;
  unsigned long x18;
  unsigned long x19;
  unsigned long x20;
  unsigned long x21;
  unsigned long x22;
  unsigned long x23;
  unsigned long x24;
  unsigned long x25;
  unsigned long x26;
  unsigned long x27;
  unsigned long x28;
  unsigned long x29;
  unsigned long x30;
  unsigned long x31;
  unsigned long x32;
  unsigned long x33;
  unsigned long x34;
  unsigned long x35;
  unsigned long x36;
  unsigned long x37;
  unsigned long x38;
  unsigned long x39;
  unsigned long x40;
  unsigned long x41;
  unsigned long x42;
  unsigned long x43;
  unsigned long x44;
  unsigned long x45;
  unsigned long x46;
  unsigned long x47;
  unsigned long x48;
  unsigned long x49;
  unsigned long x50;
  unsigned long x51;
  unsigned long x52;
  unsigned long x53;
  unsigned long x54;

  x1 = ~(a1);
  x2 = ~(a4);
  x3 = (x1) ^ (a3);
  x4 = (x1) | (a3);
  x5 = (x2) ^ (x4);
  x6 = (x5) | (a5);
  x7 = (x6) ^ (x3);
  x8 = (x5) | (x1);
  x9 = (x8) ^ (x2);
  x10 = (x9) & (a5);
  x11 = (x10) ^ (x8);
  x12 = (x11) & (a2);
  x13 = (x12) ^ (x7);
  x14 = (x9) ^ (x6);
  x15 = (x9) & (x3);
  x16 = (x8) & (a5);
  x17 = (x16) ^ (x15);
  x18 = (x17) | (a2);
  x19 = (x18) ^ (x14);
  x20 = (x19) | (a6);
  x21 = (x20) ^ (x13);
  *out1 = x21;
  x22 = (x3) | (a5);
  x23 = (x2) & (x22);
  x24 = ~(a3);
  x25 = (x8) & (x24);
  x26 = (x4) & (a5);
  x27 = (x26) ^ (x25);
  x28 = (x27) | (a2);
  x29 = (x28) ^ (x23);
  x30 = (x29) & (a6);
  x31 = (x30) ^ (x13);
  *out4 = x31;
  x32 = (x6) ^ (x5);
  x33 = (x22) ^ (x32);
  x34 = (x13) | (a4);
  x35 = (x34) & (a2);
  x36 = (x35) ^ (x33);
  x37 = (x33) & (a1);
  x38 = (x8) ^ (x37);
  x39 = (x23) ^ (a1);
  x40 = (x7) & (x39);
  x41 = (x40) & (a2);
  x42 = (x41) ^ (x38);
  x43 = (x42) | (a6);
  x44 = (x43) ^ (x36);
  *out3 = x44;
  x45 = (x10) ^ (a1);
  x46 = (x22) ^ (x45);
  x47 = ~(x7);
  x48 = (x8) & (x47);
  x49 = (x48) | (a2);
  x50 = (x49) ^ (x46);
  x51 = (x29) ^ (x19);
  x52 = (x38) | (x51);
  x53 = (x52) & (a6);
  x54 = (x53) ^ (x50);
  *out2 = x54;
}


void des__ (unsigned long input[64], unsigned long key[64],unsigned long output[64]) {

  /* right */



  
  



  /* left */




  
  
  

  

  unsigned long des_single__0_sbox_in__0__1;
  unsigned long des_single__0_sbox_in__0__2;
  unsigned long des_single__0_sbox_in__0__3;
  unsigned long des_single__0_sbox_in__0__4;
  unsigned long des_single__0_sbox_in__0__5;
  unsigned long des_single__0_sbox_in__0__6;
  unsigned long des_single__0_sbox_in__1__1;
  unsigned long des_single__0_sbox_in__1__2;
  unsigned long des_single__0_sbox_in__1__3;
  unsigned long des_single__0_sbox_in__1__4;
  unsigned long des_single__0_sbox_in__1__5;
  unsigned long des_single__0_sbox_in__1__6;
  unsigned long des_single__0_sbox_in__2__1;
  unsigned long des_single__0_sbox_in__2__2;
  unsigned long des_single__0_sbox_in__2__3;
  unsigned long des_single__0_sbox_in__2__4;
  unsigned long des_single__0_sbox_in__2__5;
  unsigned long des_single__0_sbox_in__2__6;
  unsigned long des_single__0_sbox_in__3__1;
  unsigned long des_single__0_sbox_in__3__2;
  unsigned long des_single__0_sbox_in__3__3;
  unsigned long des_single__0_sbox_in__3__4;
  unsigned long des_single__0_sbox_in__3__5;
  unsigned long des_single__0_sbox_in__3__6;
  unsigned long des_single__0_sbox_in__4__1;
  unsigned long des_single__0_sbox_in__4__2;
  unsigned long des_single__0_sbox_in__4__3;
  unsigned long des_single__0_sbox_in__4__4;
  unsigned long des_single__0_sbox_in__4__5;
  unsigned long des_single__0_sbox_in__4__6;
  unsigned long des_single__0_sbox_in__5__1;
  unsigned long des_single__0_sbox_in__5__2;
  unsigned long des_single__0_sbox_in__5__3;
  unsigned long des_single__0_sbox_in__5__4;
  unsigned long des_single__0_sbox_in__5__5;
  unsigned long des_single__0_sbox_in__5__6;
  unsigned long des_single__0_sbox_in__6__1;
  unsigned long des_single__0_sbox_in__6__2;
  unsigned long des_single__0_sbox_in__6__3;
  unsigned long des_single__0_sbox_in__6__4;
  unsigned long des_single__0_sbox_in__6__5;
  unsigned long des_single__0_sbox_in__6__6;
  unsigned long des_single__0_sbox_in__7__1;
  unsigned long des_single__0_sbox_in__7__2;
  unsigned long des_single__0_sbox_in__7__3;
  unsigned long des_single__0_sbox_in__7__4;
  unsigned long des_single__0_sbox_in__7__5;
  unsigned long des_single__0_sbox_in__7__6;
  unsigned long des_single__0_sbox_out__0__1;
  unsigned long des_single__0_sbox_out__0__2;
  unsigned long des_single__0_sbox_out__0__3;
  unsigned long des_single__0_sbox_out__0__4;
  unsigned long des_single__0_sbox_out__1__1;
  unsigned long des_single__0_sbox_out__1__2;
  unsigned long des_single__0_sbox_out__1__3;
  unsigned long des_single__0_sbox_out__1__4;
  unsigned long des_single__0_sbox_out__2__1;
  unsigned long des_single__0_sbox_out__2__2;
  unsigned long des_single__0_sbox_out__2__3;
  unsigned long des_single__0_sbox_out__2__4;
  unsigned long des_single__0_sbox_out__3__1;
  unsigned long des_single__0_sbox_out__3__2;
  unsigned long des_single__0_sbox_out__3__3;
  unsigned long des_single__0_sbox_out__3__4;
  unsigned long des_single__0_sbox_out__4__1;
  unsigned long des_single__0_sbox_out__4__2;
  unsigned long des_single__0_sbox_out__4__3;
  unsigned long des_single__0_sbox_out__4__4;
  unsigned long des_single__0_sbox_out__5__1;
  unsigned long des_single__0_sbox_out__5__2;
  unsigned long des_single__0_sbox_out__5__3;
  unsigned long des_single__0_sbox_out__5__4;
  unsigned long des_single__0_sbox_out__6__1;
  unsigned long des_single__0_sbox_out__6__2;
  unsigned long des_single__0_sbox_out__6__3;
  unsigned long des_single__0_sbox_out__6__4;
  unsigned long des_single__0_sbox_out__7__1;
  unsigned long des_single__0_sbox_out__7__2;
  unsigned long des_single__0_sbox_out__7__3;
  unsigned long des_single__0_sbox_out__7__4;
  unsigned long des_single__1_sbox_in__0__1;
  unsigned long des_single__1_sbox_in__0__2;
  unsigned long des_single__1_sbox_in__0__3;
  unsigned long des_single__1_sbox_in__0__4;
  unsigned long des_single__1_sbox_in__0__5;
  unsigned long des_single__1_sbox_in__0__6;
  unsigned long des_single__1_sbox_in__1__1;
  unsigned long des_single__1_sbox_in__1__2;
  unsigned long des_single__1_sbox_in__1__3;
  unsigned long des_single__1_sbox_in__1__4;
  unsigned long des_single__1_sbox_in__1__5;
  unsigned long des_single__1_sbox_in__1__6;
  unsigned long des_single__1_sbox_in__2__1;
  unsigned long des_single__1_sbox_in__2__2;
  unsigned long des_single__1_sbox_in__2__3;
  unsigned long des_single__1_sbox_in__2__4;
  unsigned long des_single__1_sbox_in__2__5;
  unsigned long des_single__1_sbox_in__2__6;
  unsigned long des_single__1_sbox_in__3__1;
  unsigned long des_single__1_sbox_in__3__2;
  unsigned long des_single__1_sbox_in__3__3;
  unsigned long des_single__1_sbox_in__3__4;
  unsigned long des_single__1_sbox_in__3__5;
  unsigned long des_single__1_sbox_in__3__6;
  unsigned long des_single__1_sbox_in__4__1;
  unsigned long des_single__1_sbox_in__4__2;
  unsigned long des_single__1_sbox_in__4__3;
  unsigned long des_single__1_sbox_in__4__4;
  unsigned long des_single__1_sbox_in__4__5;
  unsigned long des_single__1_sbox_in__4__6;
  unsigned long des_single__1_sbox_in__5__1;
  unsigned long des_single__1_sbox_in__5__2;
  unsigned long des_single__1_sbox_in__5__3;
  unsigned long des_single__1_sbox_in__5__4;
  unsigned long des_single__1_sbox_in__5__5;
  unsigned long des_single__1_sbox_in__5__6;
  unsigned long des_single__1_sbox_in__6__1;
  unsigned long des_single__1_sbox_in__6__2;
  unsigned long des_single__1_sbox_in__6__3;
  unsigned long des_single__1_sbox_in__6__4;
  unsigned long des_single__1_sbox_in__6__5;
  unsigned long des_single__1_sbox_in__6__6;
  unsigned long des_single__1_sbox_in__7__1;
  unsigned long des_single__1_sbox_in__7__2;
  unsigned long des_single__1_sbox_in__7__3;
  unsigned long des_single__1_sbox_in__7__4;
  unsigned long des_single__1_sbox_in__7__5;
  unsigned long des_single__1_sbox_in__7__6;
  unsigned long des_single__1_sbox_out__0__1;
  unsigned long des_single__1_sbox_out__0__2;
  unsigned long des_single__1_sbox_out__0__3;
  unsigned long des_single__1_sbox_out__0__4;
  unsigned long des_single__1_sbox_out__1__1;
  unsigned long des_single__1_sbox_out__1__2;
  unsigned long des_single__1_sbox_out__1__3;
  unsigned long des_single__1_sbox_out__1__4;
  unsigned long des_single__1_sbox_out__2__1;
  unsigned long des_single__1_sbox_out__2__2;
  unsigned long des_single__1_sbox_out__2__3;
  unsigned long des_single__1_sbox_out__2__4;
  unsigned long des_single__1_sbox_out__3__1;
  unsigned long des_single__1_sbox_out__3__2;
  unsigned long des_single__1_sbox_out__3__3;
  unsigned long des_single__1_sbox_out__3__4;
  unsigned long des_single__1_sbox_out__4__1;
  unsigned long des_single__1_sbox_out__4__2;
  unsigned long des_single__1_sbox_out__4__3;
  unsigned long des_single__1_sbox_out__4__4;
  unsigned long des_single__1_sbox_out__5__1;
  unsigned long des_single__1_sbox_out__5__2;
  unsigned long des_single__1_sbox_out__5__3;
  unsigned long des_single__1_sbox_out__5__4;
  unsigned long des_single__1_sbox_out__6__1;
  unsigned long des_single__1_sbox_out__6__2;
  unsigned long des_single__1_sbox_out__6__3;
  unsigned long des_single__1_sbox_out__6__4;
  unsigned long des_single__1_sbox_out__7__1;
  unsigned long des_single__1_sbox_out__7__2;
  unsigned long des_single__1_sbox_out__7__3;
  unsigned long des_single__1_sbox_out__7__4;
  unsigned long des_single__2_sbox_in__0__1;
  unsigned long des_single__2_sbox_in__0__2;
  unsigned long des_single__2_sbox_in__0__3;
  unsigned long des_single__2_sbox_in__0__4;
  unsigned long des_single__2_sbox_in__0__5;
  unsigned long des_single__2_sbox_in__0__6;
  unsigned long des_single__2_sbox_in__1__1;
  unsigned long des_single__2_sbox_in__1__2;
  unsigned long des_single__2_sbox_in__1__3;
  unsigned long des_single__2_sbox_in__1__4;
  unsigned long des_single__2_sbox_in__1__5;
  unsigned long des_single__2_sbox_in__1__6;
  unsigned long des_single__2_sbox_in__2__1;
  unsigned long des_single__2_sbox_in__2__2;
  unsigned long des_single__2_sbox_in__2__3;
  unsigned long des_single__2_sbox_in__2__4;
  unsigned long des_single__2_sbox_in__2__5;
  unsigned long des_single__2_sbox_in__2__6;
  unsigned long des_single__2_sbox_in__3__1;
  unsigned long des_single__2_sbox_in__3__2;
  unsigned long des_single__2_sbox_in__3__3;
  unsigned long des_single__2_sbox_in__3__4;
  unsigned long des_single__2_sbox_in__3__5;
  unsigned long des_single__2_sbox_in__3__6;
  unsigned long des_single__2_sbox_in__4__1;
  unsigned long des_single__2_sbox_in__4__2;
  unsigned long des_single__2_sbox_in__4__3;
  unsigned long des_single__2_sbox_in__4__4;
  unsigned long des_single__2_sbox_in__4__5;
  unsigned long des_single__2_sbox_in__4__6;
  unsigned long des_single__2_sbox_in__5__1;
  unsigned long des_single__2_sbox_in__5__2;
  unsigned long des_single__2_sbox_in__5__3;
  unsigned long des_single__2_sbox_in__5__4;
  unsigned long des_single__2_sbox_in__5__5;
  unsigned long des_single__2_sbox_in__5__6;
  unsigned long des_single__2_sbox_in__6__1;
  unsigned long des_single__2_sbox_in__6__2;
  unsigned long des_single__2_sbox_in__6__3;
  unsigned long des_single__2_sbox_in__6__4;
  unsigned long des_single__2_sbox_in__6__5;
  unsigned long des_single__2_sbox_in__6__6;
  unsigned long des_single__2_sbox_in__7__1;
  unsigned long des_single__2_sbox_in__7__2;
  unsigned long des_single__2_sbox_in__7__3;
  unsigned long des_single__2_sbox_in__7__4;
  unsigned long des_single__2_sbox_in__7__5;
  unsigned long des_single__2_sbox_in__7__6;
  unsigned long des_single__2_sbox_out__0__1;
  unsigned long des_single__2_sbox_out__0__2;
  unsigned long des_single__2_sbox_out__0__3;
  unsigned long des_single__2_sbox_out__0__4;
  unsigned long des_single__2_sbox_out__1__1;
  unsigned long des_single__2_sbox_out__1__2;
  unsigned long des_single__2_sbox_out__1__3;
  unsigned long des_single__2_sbox_out__1__4;
  unsigned long des_single__2_sbox_out__2__1;
  unsigned long des_single__2_sbox_out__2__2;
  unsigned long des_single__2_sbox_out__2__3;
  unsigned long des_single__2_sbox_out__2__4;
  unsigned long des_single__2_sbox_out__3__1;
  unsigned long des_single__2_sbox_out__3__2;
  unsigned long des_single__2_sbox_out__3__3;
  unsigned long des_single__2_sbox_out__3__4;
  unsigned long des_single__2_sbox_out__4__1;
  unsigned long des_single__2_sbox_out__4__2;
  unsigned long des_single__2_sbox_out__4__3;
  unsigned long des_single__2_sbox_out__4__4;
  unsigned long des_single__2_sbox_out__5__1;
  unsigned long des_single__2_sbox_out__5__2;
  unsigned long des_single__2_sbox_out__5__3;
  unsigned long des_single__2_sbox_out__5__4;
  unsigned long des_single__2_sbox_out__6__1;
  unsigned long des_single__2_sbox_out__6__2;
  unsigned long des_single__2_sbox_out__6__3;
  unsigned long des_single__2_sbox_out__6__4;
  unsigned long des_single__2_sbox_out__7__1;
  unsigned long des_single__2_sbox_out__7__2;
  unsigned long des_single__2_sbox_out__7__3;
  unsigned long des_single__2_sbox_out__7__4;
  unsigned long des_single__3_sbox_in__0__1;
  unsigned long des_single__3_sbox_in__0__2;
  unsigned long des_single__3_sbox_in__0__3;
  unsigned long des_single__3_sbox_in__0__4;
  unsigned long des_single__3_sbox_in__0__5;
  unsigned long des_single__3_sbox_in__0__6;
  unsigned long des_single__3_sbox_in__1__1;
  unsigned long des_single__3_sbox_in__1__2;
  unsigned long des_single__3_sbox_in__1__3;
  unsigned long des_single__3_sbox_in__1__4;
  unsigned long des_single__3_sbox_in__1__5;
  unsigned long des_single__3_sbox_in__1__6;
  unsigned long des_single__3_sbox_in__2__1;
  unsigned long des_single__3_sbox_in__2__2;
  unsigned long des_single__3_sbox_in__2__3;
  unsigned long des_single__3_sbox_in__2__4;
  unsigned long des_single__3_sbox_in__2__5;
  unsigned long des_single__3_sbox_in__2__6;
  unsigned long des_single__3_sbox_in__3__1;
  unsigned long des_single__3_sbox_in__3__2;
  unsigned long des_single__3_sbox_in__3__3;
  unsigned long des_single__3_sbox_in__3__4;
  unsigned long des_single__3_sbox_in__3__5;
  unsigned long des_single__3_sbox_in__3__6;
  unsigned long des_single__3_sbox_in__4__1;
  unsigned long des_single__3_sbox_in__4__2;
  unsigned long des_single__3_sbox_in__4__3;
  unsigned long des_single__3_sbox_in__4__4;
  unsigned long des_single__3_sbox_in__4__5;
  unsigned long des_single__3_sbox_in__4__6;
  unsigned long des_single__3_sbox_in__5__1;
  unsigned long des_single__3_sbox_in__5__2;
  unsigned long des_single__3_sbox_in__5__3;
  unsigned long des_single__3_sbox_in__5__4;
  unsigned long des_single__3_sbox_in__5__5;
  unsigned long des_single__3_sbox_in__5__6;
  unsigned long des_single__3_sbox_in__6__1;
  unsigned long des_single__3_sbox_in__6__2;
  unsigned long des_single__3_sbox_in__6__3;
  unsigned long des_single__3_sbox_in__6__4;
  unsigned long des_single__3_sbox_in__6__5;
  unsigned long des_single__3_sbox_in__6__6;
  unsigned long des_single__3_sbox_in__7__1;
  unsigned long des_single__3_sbox_in__7__2;
  unsigned long des_single__3_sbox_in__7__3;
  unsigned long des_single__3_sbox_in__7__4;
  unsigned long des_single__3_sbox_in__7__5;
  unsigned long des_single__3_sbox_in__7__6;
  unsigned long des_single__3_sbox_out__0__1;
  unsigned long des_single__3_sbox_out__0__2;
  unsigned long des_single__3_sbox_out__0__3;
  unsigned long des_single__3_sbox_out__0__4;
  unsigned long des_single__3_sbox_out__1__1;
  unsigned long des_single__3_sbox_out__1__2;
  unsigned long des_single__3_sbox_out__1__3;
  unsigned long des_single__3_sbox_out__1__4;
  unsigned long des_single__3_sbox_out__2__1;
  unsigned long des_single__3_sbox_out__2__2;
  unsigned long des_single__3_sbox_out__2__3;
  unsigned long des_single__3_sbox_out__2__4;
  unsigned long des_single__3_sbox_out__3__1;
  unsigned long des_single__3_sbox_out__3__2;
  unsigned long des_single__3_sbox_out__3__3;
  unsigned long des_single__3_sbox_out__3__4;
  unsigned long des_single__3_sbox_out__4__1;
  unsigned long des_single__3_sbox_out__4__2;
  unsigned long des_single__3_sbox_out__4__3;
  unsigned long des_single__3_sbox_out__4__4;
  unsigned long des_single__3_sbox_out__5__1;
  unsigned long des_single__3_sbox_out__5__2;
  unsigned long des_single__3_sbox_out__5__3;
  unsigned long des_single__3_sbox_out__5__4;
  unsigned long des_single__3_sbox_out__6__1;
  unsigned long des_single__3_sbox_out__6__2;
  unsigned long des_single__3_sbox_out__6__3;
  unsigned long des_single__3_sbox_out__6__4;
  unsigned long des_single__3_sbox_out__7__1;
  unsigned long des_single__3_sbox_out__7__2;
  unsigned long des_single__3_sbox_out__7__3;
  unsigned long des_single__3_sbox_out__7__4;
  unsigned long des_single__4_sbox_in__0__1;
  unsigned long des_single__4_sbox_in__0__2;
  unsigned long des_single__4_sbox_in__0__3;
  unsigned long des_single__4_sbox_in__0__4;
  unsigned long des_single__4_sbox_in__0__5;
  unsigned long des_single__4_sbox_in__0__6;
  unsigned long des_single__4_sbox_in__1__1;
  unsigned long des_single__4_sbox_in__1__2;
  unsigned long des_single__4_sbox_in__1__3;
  unsigned long des_single__4_sbox_in__1__4;
  unsigned long des_single__4_sbox_in__1__5;
  unsigned long des_single__4_sbox_in__1__6;
  unsigned long des_single__4_sbox_in__2__1;
  unsigned long des_single__4_sbox_in__2__2;
  unsigned long des_single__4_sbox_in__2__3;
  unsigned long des_single__4_sbox_in__2__4;
  unsigned long des_single__4_sbox_in__2__5;
  unsigned long des_single__4_sbox_in__2__6;
  unsigned long des_single__4_sbox_in__3__1;
  unsigned long des_single__4_sbox_in__3__2;
  unsigned long des_single__4_sbox_in__3__3;
  unsigned long des_single__4_sbox_in__3__4;
  unsigned long des_single__4_sbox_in__3__5;
  unsigned long des_single__4_sbox_in__3__6;
  unsigned long des_single__4_sbox_in__4__1;
  unsigned long des_single__4_sbox_in__4__2;
  unsigned long des_single__4_sbox_in__4__3;
  unsigned long des_single__4_sbox_in__4__4;
  unsigned long des_single__4_sbox_in__4__5;
  unsigned long des_single__4_sbox_in__4__6;
  unsigned long des_single__4_sbox_in__5__1;
  unsigned long des_single__4_sbox_in__5__2;
  unsigned long des_single__4_sbox_in__5__3;
  unsigned long des_single__4_sbox_in__5__4;
  unsigned long des_single__4_sbox_in__5__5;
  unsigned long des_single__4_sbox_in__5__6;
  unsigned long des_single__4_sbox_in__6__1;
  unsigned long des_single__4_sbox_in__6__2;
  unsigned long des_single__4_sbox_in__6__3;
  unsigned long des_single__4_sbox_in__6__4;
  unsigned long des_single__4_sbox_in__6__5;
  unsigned long des_single__4_sbox_in__6__6;
  unsigned long des_single__4_sbox_in__7__1;
  unsigned long des_single__4_sbox_in__7__2;
  unsigned long des_single__4_sbox_in__7__3;
  unsigned long des_single__4_sbox_in__7__4;
  unsigned long des_single__4_sbox_in__7__5;
  unsigned long des_single__4_sbox_in__7__6;
  unsigned long des_single__4_sbox_out__0__1;
  unsigned long des_single__4_sbox_out__0__2;
  unsigned long des_single__4_sbox_out__0__3;
  unsigned long des_single__4_sbox_out__0__4;
  unsigned long des_single__4_sbox_out__1__1;
  unsigned long des_single__4_sbox_out__1__2;
  unsigned long des_single__4_sbox_out__1__3;
  unsigned long des_single__4_sbox_out__1__4;
  unsigned long des_single__4_sbox_out__2__1;
  unsigned long des_single__4_sbox_out__2__2;
  unsigned long des_single__4_sbox_out__2__3;
  unsigned long des_single__4_sbox_out__2__4;
  unsigned long des_single__4_sbox_out__3__1;
  unsigned long des_single__4_sbox_out__3__2;
  unsigned long des_single__4_sbox_out__3__3;
  unsigned long des_single__4_sbox_out__3__4;
  unsigned long des_single__4_sbox_out__4__1;
  unsigned long des_single__4_sbox_out__4__2;
  unsigned long des_single__4_sbox_out__4__3;
  unsigned long des_single__4_sbox_out__4__4;
  unsigned long des_single__4_sbox_out__5__1;
  unsigned long des_single__4_sbox_out__5__2;
  unsigned long des_single__4_sbox_out__5__3;
  unsigned long des_single__4_sbox_out__5__4;
  unsigned long des_single__4_sbox_out__6__1;
  unsigned long des_single__4_sbox_out__6__2;
  unsigned long des_single__4_sbox_out__6__3;
  unsigned long des_single__4_sbox_out__6__4;
  unsigned long des_single__4_sbox_out__7__1;
  unsigned long des_single__4_sbox_out__7__2;
  unsigned long des_single__4_sbox_out__7__3;
  unsigned long des_single__4_sbox_out__7__4;
  unsigned long des_single__5_sbox_in__0__1;
  unsigned long des_single__5_sbox_in__0__2;
  unsigned long des_single__5_sbox_in__0__3;
  unsigned long des_single__5_sbox_in__0__4;
  unsigned long des_single__5_sbox_in__0__5;
  unsigned long des_single__5_sbox_in__0__6;
  unsigned long des_single__5_sbox_in__1__1;
  unsigned long des_single__5_sbox_in__1__2;
  unsigned long des_single__5_sbox_in__1__3;
  unsigned long des_single__5_sbox_in__1__4;
  unsigned long des_single__5_sbox_in__1__5;
  unsigned long des_single__5_sbox_in__1__6;
  unsigned long des_single__5_sbox_in__2__1;
  unsigned long des_single__5_sbox_in__2__2;
  unsigned long des_single__5_sbox_in__2__3;
  unsigned long des_single__5_sbox_in__2__4;
  unsigned long des_single__5_sbox_in__2__5;
  unsigned long des_single__5_sbox_in__2__6;
  unsigned long des_single__5_sbox_in__3__1;
  unsigned long des_single__5_sbox_in__3__2;
  unsigned long des_single__5_sbox_in__3__3;
  unsigned long des_single__5_sbox_in__3__4;
  unsigned long des_single__5_sbox_in__3__5;
  unsigned long des_single__5_sbox_in__3__6;
  unsigned long des_single__5_sbox_in__4__1;
  unsigned long des_single__5_sbox_in__4__2;
  unsigned long des_single__5_sbox_in__4__3;
  unsigned long des_single__5_sbox_in__4__4;
  unsigned long des_single__5_sbox_in__4__5;
  unsigned long des_single__5_sbox_in__4__6;
  unsigned long des_single__5_sbox_in__5__1;
  unsigned long des_single__5_sbox_in__5__2;
  unsigned long des_single__5_sbox_in__5__3;
  unsigned long des_single__5_sbox_in__5__4;
  unsigned long des_single__5_sbox_in__5__5;
  unsigned long des_single__5_sbox_in__5__6;
  unsigned long des_single__5_sbox_in__6__1;
  unsigned long des_single__5_sbox_in__6__2;
  unsigned long des_single__5_sbox_in__6__3;
  unsigned long des_single__5_sbox_in__6__4;
  unsigned long des_single__5_sbox_in__6__5;
  unsigned long des_single__5_sbox_in__6__6;
  unsigned long des_single__5_sbox_in__7__1;
  unsigned long des_single__5_sbox_in__7__2;
  unsigned long des_single__5_sbox_in__7__3;
  unsigned long des_single__5_sbox_in__7__4;
  unsigned long des_single__5_sbox_in__7__5;
  unsigned long des_single__5_sbox_in__7__6;
  unsigned long des_single__5_sbox_out__0__1;
  unsigned long des_single__5_sbox_out__0__2;
  unsigned long des_single__5_sbox_out__0__3;
  unsigned long des_single__5_sbox_out__0__4;
  unsigned long des_single__5_sbox_out__1__1;
  unsigned long des_single__5_sbox_out__1__2;
  unsigned long des_single__5_sbox_out__1__3;
  unsigned long des_single__5_sbox_out__1__4;
  unsigned long des_single__5_sbox_out__2__1;
  unsigned long des_single__5_sbox_out__2__2;
  unsigned long des_single__5_sbox_out__2__3;
  unsigned long des_single__5_sbox_out__2__4;
  unsigned long des_single__5_sbox_out__3__1;
  unsigned long des_single__5_sbox_out__3__2;
  unsigned long des_single__5_sbox_out__3__3;
  unsigned long des_single__5_sbox_out__3__4;
  unsigned long des_single__5_sbox_out__4__1;
  unsigned long des_single__5_sbox_out__4__2;
  unsigned long des_single__5_sbox_out__4__3;
  unsigned long des_single__5_sbox_out__4__4;
  unsigned long des_single__5_sbox_out__5__1;
  unsigned long des_single__5_sbox_out__5__2;
  unsigned long des_single__5_sbox_out__5__3;
  unsigned long des_single__5_sbox_out__5__4;
  unsigned long des_single__5_sbox_out__6__1;
  unsigned long des_single__5_sbox_out__6__2;
  unsigned long des_single__5_sbox_out__6__3;
  unsigned long des_single__5_sbox_out__6__4;
  unsigned long des_single__5_sbox_out__7__1;
  unsigned long des_single__5_sbox_out__7__2;
  unsigned long des_single__5_sbox_out__7__3;
  unsigned long des_single__5_sbox_out__7__4;
  unsigned long des_single__6_sbox_in__0__1;
  unsigned long des_single__6_sbox_in__0__2;
  unsigned long des_single__6_sbox_in__0__3;
  unsigned long des_single__6_sbox_in__0__4;
  unsigned long des_single__6_sbox_in__0__5;
  unsigned long des_single__6_sbox_in__0__6;
  unsigned long des_single__6_sbox_in__1__1;
  unsigned long des_single__6_sbox_in__1__2;
  unsigned long des_single__6_sbox_in__1__3;
  unsigned long des_single__6_sbox_in__1__4;
  unsigned long des_single__6_sbox_in__1__5;
  unsigned long des_single__6_sbox_in__1__6;
  unsigned long des_single__6_sbox_in__2__1;
  unsigned long des_single__6_sbox_in__2__2;
  unsigned long des_single__6_sbox_in__2__3;
  unsigned long des_single__6_sbox_in__2__4;
  unsigned long des_single__6_sbox_in__2__5;
  unsigned long des_single__6_sbox_in__2__6;
  unsigned long des_single__6_sbox_in__3__1;
  unsigned long des_single__6_sbox_in__3__2;
  unsigned long des_single__6_sbox_in__3__3;
  unsigned long des_single__6_sbox_in__3__4;
  unsigned long des_single__6_sbox_in__3__5;
  unsigned long des_single__6_sbox_in__3__6;
  unsigned long des_single__6_sbox_in__4__1;
  unsigned long des_single__6_sbox_in__4__2;
  unsigned long des_single__6_sbox_in__4__3;
  unsigned long des_single__6_sbox_in__4__4;
  unsigned long des_single__6_sbox_in__4__5;
  unsigned long des_single__6_sbox_in__4__6;
  unsigned long des_single__6_sbox_in__5__1;
  unsigned long des_single__6_sbox_in__5__2;
  unsigned long des_single__6_sbox_in__5__3;
  unsigned long des_single__6_sbox_in__5__4;
  unsigned long des_single__6_sbox_in__5__5;
  unsigned long des_single__6_sbox_in__5__6;
  unsigned long des_single__6_sbox_in__6__1;
  unsigned long des_single__6_sbox_in__6__2;
  unsigned long des_single__6_sbox_in__6__3;
  unsigned long des_single__6_sbox_in__6__4;
  unsigned long des_single__6_sbox_in__6__5;
  unsigned long des_single__6_sbox_in__6__6;
  unsigned long des_single__6_sbox_in__7__1;
  unsigned long des_single__6_sbox_in__7__2;
  unsigned long des_single__6_sbox_in__7__3;
  unsigned long des_single__6_sbox_in__7__4;
  unsigned long des_single__6_sbox_in__7__5;
  unsigned long des_single__6_sbox_in__7__6;
  unsigned long des_single__6_sbox_out__0__1;
  unsigned long des_single__6_sbox_out__0__2;
  unsigned long des_single__6_sbox_out__0__3;
  unsigned long des_single__6_sbox_out__0__4;
  unsigned long des_single__6_sbox_out__1__1;
  unsigned long des_single__6_sbox_out__1__2;
  unsigned long des_single__6_sbox_out__1__3;
  unsigned long des_single__6_sbox_out__1__4;
  unsigned long des_single__6_sbox_out__2__1;
  unsigned long des_single__6_sbox_out__2__2;
  unsigned long des_single__6_sbox_out__2__3;
  unsigned long des_single__6_sbox_out__2__4;
  unsigned long des_single__6_sbox_out__3__1;
  unsigned long des_single__6_sbox_out__3__2;
  unsigned long des_single__6_sbox_out__3__3;
  unsigned long des_single__6_sbox_out__3__4;
  unsigned long des_single__6_sbox_out__4__1;
  unsigned long des_single__6_sbox_out__4__2;
  unsigned long des_single__6_sbox_out__4__3;
  unsigned long des_single__6_sbox_out__4__4;
  unsigned long des_single__6_sbox_out__5__1;
  unsigned long des_single__6_sbox_out__5__2;
  unsigned long des_single__6_sbox_out__5__3;
  unsigned long des_single__6_sbox_out__5__4;
  unsigned long des_single__6_sbox_out__6__1;
  unsigned long des_single__6_sbox_out__6__2;
  unsigned long des_single__6_sbox_out__6__3;
  unsigned long des_single__6_sbox_out__6__4;
  unsigned long des_single__6_sbox_out__7__1;
  unsigned long des_single__6_sbox_out__7__2;
  unsigned long des_single__6_sbox_out__7__3;
  unsigned long des_single__6_sbox_out__7__4;
  unsigned long des_single__7_sbox_in__0__1;
  unsigned long des_single__7_sbox_in__0__2;
  unsigned long des_single__7_sbox_in__0__3;
  unsigned long des_single__7_sbox_in__0__4;
  unsigned long des_single__7_sbox_in__0__5;
  unsigned long des_single__7_sbox_in__0__6;
  unsigned long des_single__7_sbox_in__1__1;
  unsigned long des_single__7_sbox_in__1__2;
  unsigned long des_single__7_sbox_in__1__3;
  unsigned long des_single__7_sbox_in__1__4;
  unsigned long des_single__7_sbox_in__1__5;
  unsigned long des_single__7_sbox_in__1__6;
  unsigned long des_single__7_sbox_in__2__1;
  unsigned long des_single__7_sbox_in__2__2;
  unsigned long des_single__7_sbox_in__2__3;
  unsigned long des_single__7_sbox_in__2__4;
  unsigned long des_single__7_sbox_in__2__5;
  unsigned long des_single__7_sbox_in__2__6;
  unsigned long des_single__7_sbox_in__3__1;
  unsigned long des_single__7_sbox_in__3__2;
  unsigned long des_single__7_sbox_in__3__3;
  unsigned long des_single__7_sbox_in__3__4;
  unsigned long des_single__7_sbox_in__3__5;
  unsigned long des_single__7_sbox_in__3__6;
  unsigned long des_single__7_sbox_in__4__1;
  unsigned long des_single__7_sbox_in__4__2;
  unsigned long des_single__7_sbox_in__4__3;
  unsigned long des_single__7_sbox_in__4__4;
  unsigned long des_single__7_sbox_in__4__5;
  unsigned long des_single__7_sbox_in__4__6;
  unsigned long des_single__7_sbox_in__5__1;
  unsigned long des_single__7_sbox_in__5__2;
  unsigned long des_single__7_sbox_in__5__3;
  unsigned long des_single__7_sbox_in__5__4;
  unsigned long des_single__7_sbox_in__5__5;
  unsigned long des_single__7_sbox_in__5__6;
  unsigned long des_single__7_sbox_in__6__1;
  unsigned long des_single__7_sbox_in__6__2;
  unsigned long des_single__7_sbox_in__6__3;
  unsigned long des_single__7_sbox_in__6__4;
  unsigned long des_single__7_sbox_in__6__5;
  unsigned long des_single__7_sbox_in__6__6;
  unsigned long des_single__7_sbox_in__7__1;
  unsigned long des_single__7_sbox_in__7__2;
  unsigned long des_single__7_sbox_in__7__3;
  unsigned long des_single__7_sbox_in__7__4;
  unsigned long des_single__7_sbox_in__7__5;
  unsigned long des_single__7_sbox_in__7__6;
  unsigned long des_single__7_sbox_out__0__1;
  unsigned long des_single__7_sbox_out__0__2;
  unsigned long des_single__7_sbox_out__0__3;
  unsigned long des_single__7_sbox_out__0__4;
  unsigned long des_single__7_sbox_out__1__1;
  unsigned long des_single__7_sbox_out__1__2;
  unsigned long des_single__7_sbox_out__1__3;
  unsigned long des_single__7_sbox_out__1__4;
  unsigned long des_single__7_sbox_out__2__1;
  unsigned long des_single__7_sbox_out__2__2;
  unsigned long des_single__7_sbox_out__2__3;
  unsigned long des_single__7_sbox_out__2__4;
  unsigned long des_single__7_sbox_out__3__1;
  unsigned long des_single__7_sbox_out__3__2;
  unsigned long des_single__7_sbox_out__3__3;
  unsigned long des_single__7_sbox_out__3__4;
  unsigned long des_single__7_sbox_out__4__1;
  unsigned long des_single__7_sbox_out__4__2;
  unsigned long des_single__7_sbox_out__4__3;
  unsigned long des_single__7_sbox_out__4__4;
  unsigned long des_single__7_sbox_out__5__1;
  unsigned long des_single__7_sbox_out__5__2;
  unsigned long des_single__7_sbox_out__5__3;
  unsigned long des_single__7_sbox_out__5__4;
  unsigned long des_single__7_sbox_out__6__1;
  unsigned long des_single__7_sbox_out__6__2;
  unsigned long des_single__7_sbox_out__6__3;
  unsigned long des_single__7_sbox_out__6__4;
  unsigned long des_single__7_sbox_out__7__1;
  unsigned long des_single__7_sbox_out__7__2;
  unsigned long des_single__7_sbox_out__7__3;
  unsigned long des_single__7_sbox_out__7__4;
  unsigned long des_single__8_sbox_in__0__1;
  unsigned long des_single__8_sbox_in__0__2;
  unsigned long des_single__8_sbox_in__0__3;
  unsigned long des_single__8_sbox_in__0__4;
  unsigned long des_single__8_sbox_in__0__5;
  unsigned long des_single__8_sbox_in__0__6;
  unsigned long des_single__8_sbox_in__1__1;
  unsigned long des_single__8_sbox_in__1__2;
  unsigned long des_single__8_sbox_in__1__3;
  unsigned long des_single__8_sbox_in__1__4;
  unsigned long des_single__8_sbox_in__1__5;
  unsigned long des_single__8_sbox_in__1__6;
  unsigned long des_single__8_sbox_in__2__1;
  unsigned long des_single__8_sbox_in__2__2;
  unsigned long des_single__8_sbox_in__2__3;
  unsigned long des_single__8_sbox_in__2__4;
  unsigned long des_single__8_sbox_in__2__5;
  unsigned long des_single__8_sbox_in__2__6;
  unsigned long des_single__8_sbox_in__3__1;
  unsigned long des_single__8_sbox_in__3__2;
  unsigned long des_single__8_sbox_in__3__3;
  unsigned long des_single__8_sbox_in__3__4;
  unsigned long des_single__8_sbox_in__3__5;
  unsigned long des_single__8_sbox_in__3__6;
  unsigned long des_single__8_sbox_in__4__1;
  unsigned long des_single__8_sbox_in__4__2;
  unsigned long des_single__8_sbox_in__4__3;
  unsigned long des_single__8_sbox_in__4__4;
  unsigned long des_single__8_sbox_in__4__5;
  unsigned long des_single__8_sbox_in__4__6;
  unsigned long des_single__8_sbox_in__5__1;
  unsigned long des_single__8_sbox_in__5__2;
  unsigned long des_single__8_sbox_in__5__3;
  unsigned long des_single__8_sbox_in__5__4;
  unsigned long des_single__8_sbox_in__5__5;
  unsigned long des_single__8_sbox_in__5__6;
  unsigned long des_single__8_sbox_in__6__1;
  unsigned long des_single__8_sbox_in__6__2;
  unsigned long des_single__8_sbox_in__6__3;
  unsigned long des_single__8_sbox_in__6__4;
  unsigned long des_single__8_sbox_in__6__5;
  unsigned long des_single__8_sbox_in__6__6;
  unsigned long des_single__8_sbox_in__7__1;
  unsigned long des_single__8_sbox_in__7__2;
  unsigned long des_single__8_sbox_in__7__3;
  unsigned long des_single__8_sbox_in__7__4;
  unsigned long des_single__8_sbox_in__7__5;
  unsigned long des_single__8_sbox_in__7__6;
  unsigned long des_single__8_sbox_out__0__1;
  unsigned long des_single__8_sbox_out__0__2;
  unsigned long des_single__8_sbox_out__0__3;
  unsigned long des_single__8_sbox_out__0__4;
  unsigned long des_single__8_sbox_out__1__1;
  unsigned long des_single__8_sbox_out__1__2;
  unsigned long des_single__8_sbox_out__1__3;
  unsigned long des_single__8_sbox_out__1__4;
  unsigned long des_single__8_sbox_out__2__1;
  unsigned long des_single__8_sbox_out__2__2;
  unsigned long des_single__8_sbox_out__2__3;
  unsigned long des_single__8_sbox_out__2__4;
  unsigned long des_single__8_sbox_out__3__1;
  unsigned long des_single__8_sbox_out__3__2;
  unsigned long des_single__8_sbox_out__3__3;
  unsigned long des_single__8_sbox_out__3__4;
  unsigned long des_single__8_sbox_out__4__1;
  unsigned long des_single__8_sbox_out__4__2;
  unsigned long des_single__8_sbox_out__4__3;
  unsigned long des_single__8_sbox_out__4__4;
  unsigned long des_single__8_sbox_out__5__1;
  unsigned long des_single__8_sbox_out__5__2;
  unsigned long des_single__8_sbox_out__5__3;
  unsigned long des_single__8_sbox_out__5__4;
  unsigned long des_single__8_sbox_out__6__1;
  unsigned long des_single__8_sbox_out__6__2;
  unsigned long des_single__8_sbox_out__6__3;
  unsigned long des_single__8_sbox_out__6__4;
  unsigned long des_single__8_sbox_out__7__1;
  unsigned long des_single__8_sbox_out__7__2;
  unsigned long des_single__8_sbox_out__7__3;
  unsigned long des_single__8_sbox_out__7__4;
  unsigned long des_single__9_sbox_in__0__1;
  unsigned long des_single__9_sbox_in__0__2;
  unsigned long des_single__9_sbox_in__0__3;
  unsigned long des_single__9_sbox_in__0__4;
  unsigned long des_single__9_sbox_in__0__5;
  unsigned long des_single__9_sbox_in__0__6;
  unsigned long des_single__9_sbox_in__1__1;
  unsigned long des_single__9_sbox_in__1__2;
  unsigned long des_single__9_sbox_in__1__3;
  unsigned long des_single__9_sbox_in__1__4;
  unsigned long des_single__9_sbox_in__1__5;
  unsigned long des_single__9_sbox_in__1__6;
  unsigned long des_single__9_sbox_in__2__1;
  unsigned long des_single__9_sbox_in__2__2;
  unsigned long des_single__9_sbox_in__2__3;
  unsigned long des_single__9_sbox_in__2__4;
  unsigned long des_single__9_sbox_in__2__5;
  unsigned long des_single__9_sbox_in__2__6;
  unsigned long des_single__9_sbox_in__3__1;
  unsigned long des_single__9_sbox_in__3__2;
  unsigned long des_single__9_sbox_in__3__3;
  unsigned long des_single__9_sbox_in__3__4;
  unsigned long des_single__9_sbox_in__3__5;
  unsigned long des_single__9_sbox_in__3__6;
  unsigned long des_single__9_sbox_in__4__1;
  unsigned long des_single__9_sbox_in__4__2;
  unsigned long des_single__9_sbox_in__4__3;
  unsigned long des_single__9_sbox_in__4__4;
  unsigned long des_single__9_sbox_in__4__5;
  unsigned long des_single__9_sbox_in__4__6;
  unsigned long des_single__9_sbox_in__5__1;
  unsigned long des_single__9_sbox_in__5__2;
  unsigned long des_single__9_sbox_in__5__3;
  unsigned long des_single__9_sbox_in__5__4;
  unsigned long des_single__9_sbox_in__5__5;
  unsigned long des_single__9_sbox_in__5__6;
  unsigned long des_single__9_sbox_in__6__1;
  unsigned long des_single__9_sbox_in__6__2;
  unsigned long des_single__9_sbox_in__6__3;
  unsigned long des_single__9_sbox_in__6__4;
  unsigned long des_single__9_sbox_in__6__5;
  unsigned long des_single__9_sbox_in__6__6;
  unsigned long des_single__9_sbox_in__7__1;
  unsigned long des_single__9_sbox_in__7__2;
  unsigned long des_single__9_sbox_in__7__3;
  unsigned long des_single__9_sbox_in__7__4;
  unsigned long des_single__9_sbox_in__7__5;
  unsigned long des_single__9_sbox_in__7__6;
  unsigned long des_single__9_sbox_out__0__1;
  unsigned long des_single__9_sbox_out__0__2;
  unsigned long des_single__9_sbox_out__0__3;
  unsigned long des_single__9_sbox_out__0__4;
  unsigned long des_single__9_sbox_out__1__1;
  unsigned long des_single__9_sbox_out__1__2;
  unsigned long des_single__9_sbox_out__1__3;
  unsigned long des_single__9_sbox_out__1__4;
  unsigned long des_single__9_sbox_out__2__1;
  unsigned long des_single__9_sbox_out__2__2;
  unsigned long des_single__9_sbox_out__2__3;
  unsigned long des_single__9_sbox_out__2__4;
  unsigned long des_single__9_sbox_out__3__1;
  unsigned long des_single__9_sbox_out__3__2;
  unsigned long des_single__9_sbox_out__3__3;
  unsigned long des_single__9_sbox_out__3__4;
  unsigned long des_single__9_sbox_out__4__1;
  unsigned long des_single__9_sbox_out__4__2;
  unsigned long des_single__9_sbox_out__4__3;
  unsigned long des_single__9_sbox_out__4__4;
  unsigned long des_single__9_sbox_out__5__1;
  unsigned long des_single__9_sbox_out__5__2;
  unsigned long des_single__9_sbox_out__5__3;
  unsigned long des_single__9_sbox_out__5__4;
  unsigned long des_single__9_sbox_out__6__1;
  unsigned long des_single__9_sbox_out__6__2;
  unsigned long des_single__9_sbox_out__6__3;
  unsigned long des_single__9_sbox_out__6__4;
  unsigned long des_single__9_sbox_out__7__1;
  unsigned long des_single__9_sbox_out__7__2;
  unsigned long des_single__9_sbox_out__7__3;
  unsigned long des_single__9_sbox_out__7__4;
  unsigned long des_single__10_sbox_in__0__1;
  unsigned long des_single__10_sbox_in__0__2;
  unsigned long des_single__10_sbox_in__0__3;
  unsigned long des_single__10_sbox_in__0__4;
  unsigned long des_single__10_sbox_in__0__5;
  unsigned long des_single__10_sbox_in__0__6;
  unsigned long des_single__10_sbox_in__1__1;
  unsigned long des_single__10_sbox_in__1__2;
  unsigned long des_single__10_sbox_in__1__3;
  unsigned long des_single__10_sbox_in__1__4;
  unsigned long des_single__10_sbox_in__1__5;
  unsigned long des_single__10_sbox_in__1__6;
  unsigned long des_single__10_sbox_in__2__1;
  unsigned long des_single__10_sbox_in__2__2;
  unsigned long des_single__10_sbox_in__2__3;
  unsigned long des_single__10_sbox_in__2__4;
  unsigned long des_single__10_sbox_in__2__5;
  unsigned long des_single__10_sbox_in__2__6;
  unsigned long des_single__10_sbox_in__3__1;
  unsigned long des_single__10_sbox_in__3__2;
  unsigned long des_single__10_sbox_in__3__3;
  unsigned long des_single__10_sbox_in__3__4;
  unsigned long des_single__10_sbox_in__3__5;
  unsigned long des_single__10_sbox_in__3__6;
  unsigned long des_single__10_sbox_in__4__1;
  unsigned long des_single__10_sbox_in__4__2;
  unsigned long des_single__10_sbox_in__4__3;
  unsigned long des_single__10_sbox_in__4__4;
  unsigned long des_single__10_sbox_in__4__5;
  unsigned long des_single__10_sbox_in__4__6;
  unsigned long des_single__10_sbox_in__5__1;
  unsigned long des_single__10_sbox_in__5__2;
  unsigned long des_single__10_sbox_in__5__3;
  unsigned long des_single__10_sbox_in__5__4;
  unsigned long des_single__10_sbox_in__5__5;
  unsigned long des_single__10_sbox_in__5__6;
  unsigned long des_single__10_sbox_in__6__1;
  unsigned long des_single__10_sbox_in__6__2;
  unsigned long des_single__10_sbox_in__6__3;
  unsigned long des_single__10_sbox_in__6__4;
  unsigned long des_single__10_sbox_in__6__5;
  unsigned long des_single__10_sbox_in__6__6;
  unsigned long des_single__10_sbox_in__7__1;
  unsigned long des_single__10_sbox_in__7__2;
  unsigned long des_single__10_sbox_in__7__3;
  unsigned long des_single__10_sbox_in__7__4;
  unsigned long des_single__10_sbox_in__7__5;
  unsigned long des_single__10_sbox_in__7__6;
  unsigned long des_single__10_sbox_out__0__1;
  unsigned long des_single__10_sbox_out__0__2;
  unsigned long des_single__10_sbox_out__0__3;
  unsigned long des_single__10_sbox_out__0__4;
  unsigned long des_single__10_sbox_out__1__1;
  unsigned long des_single__10_sbox_out__1__2;
  unsigned long des_single__10_sbox_out__1__3;
  unsigned long des_single__10_sbox_out__1__4;
  unsigned long des_single__10_sbox_out__2__1;
  unsigned long des_single__10_sbox_out__2__2;
  unsigned long des_single__10_sbox_out__2__3;
  unsigned long des_single__10_sbox_out__2__4;
  unsigned long des_single__10_sbox_out__3__1;
  unsigned long des_single__10_sbox_out__3__2;
  unsigned long des_single__10_sbox_out__3__3;
  unsigned long des_single__10_sbox_out__3__4;
  unsigned long des_single__10_sbox_out__4__1;
  unsigned long des_single__10_sbox_out__4__2;
  unsigned long des_single__10_sbox_out__4__3;
  unsigned long des_single__10_sbox_out__4__4;
  unsigned long des_single__10_sbox_out__5__1;
  unsigned long des_single__10_sbox_out__5__2;
  unsigned long des_single__10_sbox_out__5__3;
  unsigned long des_single__10_sbox_out__5__4;
  unsigned long des_single__10_sbox_out__6__1;
  unsigned long des_single__10_sbox_out__6__2;
  unsigned long des_single__10_sbox_out__6__3;
  unsigned long des_single__10_sbox_out__6__4;
  unsigned long des_single__10_sbox_out__7__1;
  unsigned long des_single__10_sbox_out__7__2;
  unsigned long des_single__10_sbox_out__7__3;
  unsigned long des_single__10_sbox_out__7__4;
  unsigned long des_single__11_sbox_in__0__1;
  unsigned long des_single__11_sbox_in__0__2;
  unsigned long des_single__11_sbox_in__0__3;
  unsigned long des_single__11_sbox_in__0__4;
  unsigned long des_single__11_sbox_in__0__5;
  unsigned long des_single__11_sbox_in__0__6;
  unsigned long des_single__11_sbox_in__1__1;
  unsigned long des_single__11_sbox_in__1__2;
  unsigned long des_single__11_sbox_in__1__3;
  unsigned long des_single__11_sbox_in__1__4;
  unsigned long des_single__11_sbox_in__1__5;
  unsigned long des_single__11_sbox_in__1__6;
  unsigned long des_single__11_sbox_in__2__1;
  unsigned long des_single__11_sbox_in__2__2;
  unsigned long des_single__11_sbox_in__2__3;
  unsigned long des_single__11_sbox_in__2__4;
  unsigned long des_single__11_sbox_in__2__5;
  unsigned long des_single__11_sbox_in__2__6;
  unsigned long des_single__11_sbox_in__3__1;
  unsigned long des_single__11_sbox_in__3__2;
  unsigned long des_single__11_sbox_in__3__3;
  unsigned long des_single__11_sbox_in__3__4;
  unsigned long des_single__11_sbox_in__3__5;
  unsigned long des_single__11_sbox_in__3__6;
  unsigned long des_single__11_sbox_in__4__1;
  unsigned long des_single__11_sbox_in__4__2;
  unsigned long des_single__11_sbox_in__4__3;
  unsigned long des_single__11_sbox_in__4__4;
  unsigned long des_single__11_sbox_in__4__5;
  unsigned long des_single__11_sbox_in__4__6;
  unsigned long des_single__11_sbox_in__5__1;
  unsigned long des_single__11_sbox_in__5__2;
  unsigned long des_single__11_sbox_in__5__3;
  unsigned long des_single__11_sbox_in__5__4;
  unsigned long des_single__11_sbox_in__5__5;
  unsigned long des_single__11_sbox_in__5__6;
  unsigned long des_single__11_sbox_in__6__1;
  unsigned long des_single__11_sbox_in__6__2;
  unsigned long des_single__11_sbox_in__6__3;
  unsigned long des_single__11_sbox_in__6__4;
  unsigned long des_single__11_sbox_in__6__5;
  unsigned long des_single__11_sbox_in__6__6;
  unsigned long des_single__11_sbox_in__7__1;
  unsigned long des_single__11_sbox_in__7__2;
  unsigned long des_single__11_sbox_in__7__3;
  unsigned long des_single__11_sbox_in__7__4;
  unsigned long des_single__11_sbox_in__7__5;
  unsigned long des_single__11_sbox_in__7__6;
  unsigned long des_single__11_sbox_out__0__1;
  unsigned long des_single__11_sbox_out__0__2;
  unsigned long des_single__11_sbox_out__0__3;
  unsigned long des_single__11_sbox_out__0__4;
  unsigned long des_single__11_sbox_out__1__1;
  unsigned long des_single__11_sbox_out__1__2;
  unsigned long des_single__11_sbox_out__1__3;
  unsigned long des_single__11_sbox_out__1__4;
  unsigned long des_single__11_sbox_out__2__1;
  unsigned long des_single__11_sbox_out__2__2;
  unsigned long des_single__11_sbox_out__2__3;
  unsigned long des_single__11_sbox_out__2__4;
  unsigned long des_single__11_sbox_out__3__1;
  unsigned long des_single__11_sbox_out__3__2;
  unsigned long des_single__11_sbox_out__3__3;
  unsigned long des_single__11_sbox_out__3__4;
  unsigned long des_single__11_sbox_out__4__1;
  unsigned long des_single__11_sbox_out__4__2;
  unsigned long des_single__11_sbox_out__4__3;
  unsigned long des_single__11_sbox_out__4__4;
  unsigned long des_single__11_sbox_out__5__1;
  unsigned long des_single__11_sbox_out__5__2;
  unsigned long des_single__11_sbox_out__5__3;
  unsigned long des_single__11_sbox_out__5__4;
  unsigned long des_single__11_sbox_out__6__1;
  unsigned long des_single__11_sbox_out__6__2;
  unsigned long des_single__11_sbox_out__6__3;
  unsigned long des_single__11_sbox_out__6__4;
  unsigned long des_single__11_sbox_out__7__1;
  unsigned long des_single__11_sbox_out__7__2;
  unsigned long des_single__11_sbox_out__7__3;
  unsigned long des_single__11_sbox_out__7__4;
  unsigned long des_single__12_sbox_in__0__1;
  unsigned long des_single__12_sbox_in__0__2;
  unsigned long des_single__12_sbox_in__0__3;
  unsigned long des_single__12_sbox_in__0__4;
  unsigned long des_single__12_sbox_in__0__5;
  unsigned long des_single__12_sbox_in__0__6;
  unsigned long des_single__12_sbox_in__1__1;
  unsigned long des_single__12_sbox_in__1__2;
  unsigned long des_single__12_sbox_in__1__3;
  unsigned long des_single__12_sbox_in__1__4;
  unsigned long des_single__12_sbox_in__1__5;
  unsigned long des_single__12_sbox_in__1__6;
  unsigned long des_single__12_sbox_in__2__1;
  unsigned long des_single__12_sbox_in__2__2;
  unsigned long des_single__12_sbox_in__2__3;
  unsigned long des_single__12_sbox_in__2__4;
  unsigned long des_single__12_sbox_in__2__5;
  unsigned long des_single__12_sbox_in__2__6;
  unsigned long des_single__12_sbox_in__3__1;
  unsigned long des_single__12_sbox_in__3__2;
  unsigned long des_single__12_sbox_in__3__3;
  unsigned long des_single__12_sbox_in__3__4;
  unsigned long des_single__12_sbox_in__3__5;
  unsigned long des_single__12_sbox_in__3__6;
  unsigned long des_single__12_sbox_in__4__1;
  unsigned long des_single__12_sbox_in__4__2;
  unsigned long des_single__12_sbox_in__4__3;
  unsigned long des_single__12_sbox_in__4__4;
  unsigned long des_single__12_sbox_in__4__5;
  unsigned long des_single__12_sbox_in__4__6;
  unsigned long des_single__12_sbox_in__5__1;
  unsigned long des_single__12_sbox_in__5__2;
  unsigned long des_single__12_sbox_in__5__3;
  unsigned long des_single__12_sbox_in__5__4;
  unsigned long des_single__12_sbox_in__5__5;
  unsigned long des_single__12_sbox_in__5__6;
  unsigned long des_single__12_sbox_in__6__1;
  unsigned long des_single__12_sbox_in__6__2;
  unsigned long des_single__12_sbox_in__6__3;
  unsigned long des_single__12_sbox_in__6__4;
  unsigned long des_single__12_sbox_in__6__5;
  unsigned long des_single__12_sbox_in__6__6;
  unsigned long des_single__12_sbox_in__7__1;
  unsigned long des_single__12_sbox_in__7__2;
  unsigned long des_single__12_sbox_in__7__3;
  unsigned long des_single__12_sbox_in__7__4;
  unsigned long des_single__12_sbox_in__7__5;
  unsigned long des_single__12_sbox_in__7__6;
  unsigned long des_single__12_sbox_out__0__1;
  unsigned long des_single__12_sbox_out__0__2;
  unsigned long des_single__12_sbox_out__0__3;
  unsigned long des_single__12_sbox_out__0__4;
  unsigned long des_single__12_sbox_out__1__1;
  unsigned long des_single__12_sbox_out__1__2;
  unsigned long des_single__12_sbox_out__1__3;
  unsigned long des_single__12_sbox_out__1__4;
  unsigned long des_single__12_sbox_out__2__1;
  unsigned long des_single__12_sbox_out__2__2;
  unsigned long des_single__12_sbox_out__2__3;
  unsigned long des_single__12_sbox_out__2__4;
  unsigned long des_single__12_sbox_out__3__1;
  unsigned long des_single__12_sbox_out__3__2;
  unsigned long des_single__12_sbox_out__3__3;
  unsigned long des_single__12_sbox_out__3__4;
  unsigned long des_single__12_sbox_out__4__1;
  unsigned long des_single__12_sbox_out__4__2;
  unsigned long des_single__12_sbox_out__4__3;
  unsigned long des_single__12_sbox_out__4__4;
  unsigned long des_single__12_sbox_out__5__1;
  unsigned long des_single__12_sbox_out__5__2;
  unsigned long des_single__12_sbox_out__5__3;
  unsigned long des_single__12_sbox_out__5__4;
  unsigned long des_single__12_sbox_out__6__1;
  unsigned long des_single__12_sbox_out__6__2;
  unsigned long des_single__12_sbox_out__6__3;
  unsigned long des_single__12_sbox_out__6__4;
  unsigned long des_single__12_sbox_out__7__1;
  unsigned long des_single__12_sbox_out__7__2;
  unsigned long des_single__12_sbox_out__7__3;
  unsigned long des_single__12_sbox_out__7__4;
  unsigned long des_single__13_sbox_in__0__1;
  unsigned long des_single__13_sbox_in__0__2;
  unsigned long des_single__13_sbox_in__0__3;
  unsigned long des_single__13_sbox_in__0__4;
  unsigned long des_single__13_sbox_in__0__5;
  unsigned long des_single__13_sbox_in__0__6;
  unsigned long des_single__13_sbox_in__1__1;
  unsigned long des_single__13_sbox_in__1__2;
  unsigned long des_single__13_sbox_in__1__3;
  unsigned long des_single__13_sbox_in__1__4;
  unsigned long des_single__13_sbox_in__1__5;
  unsigned long des_single__13_sbox_in__1__6;
  unsigned long des_single__13_sbox_in__2__1;
  unsigned long des_single__13_sbox_in__2__2;
  unsigned long des_single__13_sbox_in__2__3;
  unsigned long des_single__13_sbox_in__2__4;
  unsigned long des_single__13_sbox_in__2__5;
  unsigned long des_single__13_sbox_in__2__6;
  unsigned long des_single__13_sbox_in__3__1;
  unsigned long des_single__13_sbox_in__3__2;
  unsigned long des_single__13_sbox_in__3__3;
  unsigned long des_single__13_sbox_in__3__4;
  unsigned long des_single__13_sbox_in__3__5;
  unsigned long des_single__13_sbox_in__3__6;
  unsigned long des_single__13_sbox_in__4__1;
  unsigned long des_single__13_sbox_in__4__2;
  unsigned long des_single__13_sbox_in__4__3;
  unsigned long des_single__13_sbox_in__4__4;
  unsigned long des_single__13_sbox_in__4__5;
  unsigned long des_single__13_sbox_in__4__6;
  unsigned long des_single__13_sbox_in__5__1;
  unsigned long des_single__13_sbox_in__5__2;
  unsigned long des_single__13_sbox_in__5__3;
  unsigned long des_single__13_sbox_in__5__4;
  unsigned long des_single__13_sbox_in__5__5;
  unsigned long des_single__13_sbox_in__5__6;
  unsigned long des_single__13_sbox_in__6__1;
  unsigned long des_single__13_sbox_in__6__2;
  unsigned long des_single__13_sbox_in__6__3;
  unsigned long des_single__13_sbox_in__6__4;
  unsigned long des_single__13_sbox_in__6__5;
  unsigned long des_single__13_sbox_in__6__6;
  unsigned long des_single__13_sbox_in__7__1;
  unsigned long des_single__13_sbox_in__7__2;
  unsigned long des_single__13_sbox_in__7__3;
  unsigned long des_single__13_sbox_in__7__4;
  unsigned long des_single__13_sbox_in__7__5;
  unsigned long des_single__13_sbox_in__7__6;
  unsigned long des_single__13_sbox_out__0__1;
  unsigned long des_single__13_sbox_out__0__2;
  unsigned long des_single__13_sbox_out__0__3;
  unsigned long des_single__13_sbox_out__0__4;
  unsigned long des_single__13_sbox_out__1__1;
  unsigned long des_single__13_sbox_out__1__2;
  unsigned long des_single__13_sbox_out__1__3;
  unsigned long des_single__13_sbox_out__1__4;
  unsigned long des_single__13_sbox_out__2__1;
  unsigned long des_single__13_sbox_out__2__2;
  unsigned long des_single__13_sbox_out__2__3;
  unsigned long des_single__13_sbox_out__2__4;
  unsigned long des_single__13_sbox_out__3__1;
  unsigned long des_single__13_sbox_out__3__2;
  unsigned long des_single__13_sbox_out__3__3;
  unsigned long des_single__13_sbox_out__3__4;
  unsigned long des_single__13_sbox_out__4__1;
  unsigned long des_single__13_sbox_out__4__2;
  unsigned long des_single__13_sbox_out__4__3;
  unsigned long des_single__13_sbox_out__4__4;
  unsigned long des_single__13_sbox_out__5__1;
  unsigned long des_single__13_sbox_out__5__2;
  unsigned long des_single__13_sbox_out__5__3;
  unsigned long des_single__13_sbox_out__5__4;
  unsigned long des_single__13_sbox_out__6__1;
  unsigned long des_single__13_sbox_out__6__2;
  unsigned long des_single__13_sbox_out__6__3;
  unsigned long des_single__13_sbox_out__6__4;
  unsigned long des_single__13_sbox_out__7__1;
  unsigned long des_single__13_sbox_out__7__2;
  unsigned long des_single__13_sbox_out__7__3;
  unsigned long des_single__13_sbox_out__7__4;
  unsigned long des_single__14_sbox_in__0__1;
  unsigned long des_single__14_sbox_in__0__2;
  unsigned long des_single__14_sbox_in__0__3;
  unsigned long des_single__14_sbox_in__0__4;
  unsigned long des_single__14_sbox_in__0__5;
  unsigned long des_single__14_sbox_in__0__6;
  unsigned long des_single__14_sbox_in__1__1;
  unsigned long des_single__14_sbox_in__1__2;
  unsigned long des_single__14_sbox_in__1__3;
  unsigned long des_single__14_sbox_in__1__4;
  unsigned long des_single__14_sbox_in__1__5;
  unsigned long des_single__14_sbox_in__1__6;
  unsigned long des_single__14_sbox_in__2__1;
  unsigned long des_single__14_sbox_in__2__2;
  unsigned long des_single__14_sbox_in__2__3;
  unsigned long des_single__14_sbox_in__2__4;
  unsigned long des_single__14_sbox_in__2__5;
  unsigned long des_single__14_sbox_in__2__6;
  unsigned long des_single__14_sbox_in__3__1;
  unsigned long des_single__14_sbox_in__3__2;
  unsigned long des_single__14_sbox_in__3__3;
  unsigned long des_single__14_sbox_in__3__4;
  unsigned long des_single__14_sbox_in__3__5;
  unsigned long des_single__14_sbox_in__3__6;
  unsigned long des_single__14_sbox_in__4__1;
  unsigned long des_single__14_sbox_in__4__2;
  unsigned long des_single__14_sbox_in__4__3;
  unsigned long des_single__14_sbox_in__4__4;
  unsigned long des_single__14_sbox_in__4__5;
  unsigned long des_single__14_sbox_in__4__6;
  unsigned long des_single__14_sbox_in__5__1;
  unsigned long des_single__14_sbox_in__5__2;
  unsigned long des_single__14_sbox_in__5__3;
  unsigned long des_single__14_sbox_in__5__4;
  unsigned long des_single__14_sbox_in__5__5;
  unsigned long des_single__14_sbox_in__5__6;
  unsigned long des_single__14_sbox_in__6__1;
  unsigned long des_single__14_sbox_in__6__2;
  unsigned long des_single__14_sbox_in__6__3;
  unsigned long des_single__14_sbox_in__6__4;
  unsigned long des_single__14_sbox_in__6__5;
  unsigned long des_single__14_sbox_in__6__6;
  unsigned long des_single__14_sbox_in__7__1;
  unsigned long des_single__14_sbox_in__7__2;
  unsigned long des_single__14_sbox_in__7__3;
  unsigned long des_single__14_sbox_in__7__4;
  unsigned long des_single__14_sbox_in__7__5;
  unsigned long des_single__14_sbox_in__7__6;
  unsigned long des_single__14_sbox_out__0__1;
  unsigned long des_single__14_sbox_out__0__2;
  unsigned long des_single__14_sbox_out__0__3;
  unsigned long des_single__14_sbox_out__0__4;
  unsigned long des_single__14_sbox_out__1__1;
  unsigned long des_single__14_sbox_out__1__2;
  unsigned long des_single__14_sbox_out__1__3;
  unsigned long des_single__14_sbox_out__1__4;
  unsigned long des_single__14_sbox_out__2__1;
  unsigned long des_single__14_sbox_out__2__2;
  unsigned long des_single__14_sbox_out__2__3;
  unsigned long des_single__14_sbox_out__2__4;
  unsigned long des_single__14_sbox_out__3__1;
  unsigned long des_single__14_sbox_out__3__2;
  unsigned long des_single__14_sbox_out__3__3;
  unsigned long des_single__14_sbox_out__3__4;
  unsigned long des_single__14_sbox_out__4__1;
  unsigned long des_single__14_sbox_out__4__2;
  unsigned long des_single__14_sbox_out__4__3;
  unsigned long des_single__14_sbox_out__4__4;
  unsigned long des_single__14_sbox_out__5__1;
  unsigned long des_single__14_sbox_out__5__2;
  unsigned long des_single__14_sbox_out__5__3;
  unsigned long des_single__14_sbox_out__5__4;
  unsigned long des_single__14_sbox_out__6__1;
  unsigned long des_single__14_sbox_out__6__2;
  unsigned long des_single__14_sbox_out__6__3;
  unsigned long des_single__14_sbox_out__6__4;
  unsigned long des_single__14_sbox_out__7__1;
  unsigned long des_single__14_sbox_out__7__2;
  unsigned long des_single__14_sbox_out__7__3;
  unsigned long des_single__14_sbox_out__7__4;
  unsigned long des_single__15_sbox_in__0__1;
  unsigned long des_single__15_sbox_in__0__2;
  unsigned long des_single__15_sbox_in__0__3;
  unsigned long des_single__15_sbox_in__0__4;
  unsigned long des_single__15_sbox_in__0__5;
  unsigned long des_single__15_sbox_in__0__6;
  unsigned long des_single__15_sbox_in__1__1;
  unsigned long des_single__15_sbox_in__1__2;
  unsigned long des_single__15_sbox_in__1__3;
  unsigned long des_single__15_sbox_in__1__4;
  unsigned long des_single__15_sbox_in__1__5;
  unsigned long des_single__15_sbox_in__1__6;
  unsigned long des_single__15_sbox_in__2__1;
  unsigned long des_single__15_sbox_in__2__2;
  unsigned long des_single__15_sbox_in__2__3;
  unsigned long des_single__15_sbox_in__2__4;
  unsigned long des_single__15_sbox_in__2__5;
  unsigned long des_single__15_sbox_in__2__6;
  unsigned long des_single__15_sbox_in__3__1;
  unsigned long des_single__15_sbox_in__3__2;
  unsigned long des_single__15_sbox_in__3__3;
  unsigned long des_single__15_sbox_in__3__4;
  unsigned long des_single__15_sbox_in__3__5;
  unsigned long des_single__15_sbox_in__3__6;
  unsigned long des_single__15_sbox_in__4__1;
  unsigned long des_single__15_sbox_in__4__2;
  unsigned long des_single__15_sbox_in__4__3;
  unsigned long des_single__15_sbox_in__4__4;
  unsigned long des_single__15_sbox_in__4__5;
  unsigned long des_single__15_sbox_in__4__6;
  unsigned long des_single__15_sbox_in__5__1;
  unsigned long des_single__15_sbox_in__5__2;
  unsigned long des_single__15_sbox_in__5__3;
  unsigned long des_single__15_sbox_in__5__4;
  unsigned long des_single__15_sbox_in__5__5;
  unsigned long des_single__15_sbox_in__5__6;
  unsigned long des_single__15_sbox_in__6__1;
  unsigned long des_single__15_sbox_in__6__2;
  unsigned long des_single__15_sbox_in__6__3;
  unsigned long des_single__15_sbox_in__6__4;
  unsigned long des_single__15_sbox_in__6__5;
  unsigned long des_single__15_sbox_in__6__6;
  unsigned long des_single__15_sbox_in__7__1;
  unsigned long des_single__15_sbox_in__7__2;
  unsigned long des_single__15_sbox_in__7__3;
  unsigned long des_single__15_sbox_in__7__4;
  unsigned long des_single__15_sbox_in__7__5;
  unsigned long des_single__15_sbox_in__7__6;
  unsigned long des_single__15_sbox_out__0__1;
  unsigned long des_single__15_sbox_out__0__2;
  unsigned long des_single__15_sbox_out__0__3;
  unsigned long des_single__15_sbox_out__0__4;
  unsigned long des_single__15_sbox_out__1__1;
  unsigned long des_single__15_sbox_out__1__2;
  unsigned long des_single__15_sbox_out__1__3;
  unsigned long des_single__15_sbox_out__1__4;
  unsigned long des_single__15_sbox_out__2__1;
  unsigned long des_single__15_sbox_out__2__2;
  unsigned long des_single__15_sbox_out__2__3;
  unsigned long des_single__15_sbox_out__2__4;
  unsigned long des_single__15_sbox_out__3__1;
  unsigned long des_single__15_sbox_out__3__2;
  unsigned long des_single__15_sbox_out__3__3;
  unsigned long des_single__15_sbox_out__3__4;
  unsigned long des_single__15_sbox_out__4__1;
  unsigned long des_single__15_sbox_out__4__2;
  unsigned long des_single__15_sbox_out__4__3;
  unsigned long des_single__15_sbox_out__4__4;
  unsigned long des_single__15_sbox_out__5__1;
  unsigned long des_single__15_sbox_out__5__2;
  unsigned long des_single__15_sbox_out__5__3;
  unsigned long des_single__15_sbox_out__5__4;
  unsigned long des_single__15_sbox_out__6__1;
  unsigned long des_single__15_sbox_out__6__2;
  unsigned long des_single__15_sbox_out__6__3;
  unsigned long des_single__15_sbox_out__6__4;
  unsigned long des_single__15_sbox_out__7__1;
  unsigned long des_single__15_sbox_out__7__2;
  unsigned long des_single__15_sbox_out__7__3;
  unsigned long des_single__15_sbox_out__7__4;

  des_single__0_sbox_in__0__1 = (key[9]) ^ (input[6]);
  des_single__0_sbox_in__0__2 = (key[50]) ^ (input[56]);
  des_single__0_sbox_in__0__3 = (key[33]) ^ (input[48]);
  des_single__0_sbox_in__0__4 = (key[59]) ^ (input[40]);
  des_single__0_sbox_in__0__5 = (key[48]) ^ (input[32]);
  des_single__0_sbox_in__0__6 = (key[16]) ^ (input[24]);
  sbox__0(des_single__0_sbox_in__0__1,des_single__0_sbox_in__0__2,des_single__0_sbox_in__0__3,des_single__0_sbox_in__0__4,des_single__0_sbox_in__0__5,des_single__0_sbox_in__0__6,&des_single__0_sbox_out__0__1,&des_single__0_sbox_out__0__2,&des_single__0_sbox_out__0__3,&des_single__0_sbox_out__0__4);
  input[59] = (des_single__0_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__0_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__0_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__0_sbox_out__0__4) ^ (input[15]);

  
  des_single__0_sbox_in__1__1 = (key[32]) ^ (input[32]);
  des_single__0_sbox_in__1__2 = (key[56]) ^ (input[24]);
  des_single__0_sbox_in__1__3 = (key[1]) ^ (input[16]);
  des_single__0_sbox_in__1__4 = (key[8]) ^ (input[8]);
  des_single__0_sbox_in__1__5 = (key[18]) ^ (input[0]);
  des_single__0_sbox_in__1__6 = (key[41]) ^ (input[58]);
  sbox__1(des_single__0_sbox_in__1__1,des_single__0_sbox_in__1__2,des_single__0_sbox_in__1__3,des_single__0_sbox_in__1__4,des_single__0_sbox_in__1__5,des_single__0_sbox_in__1__6,&des_single__0_sbox_out__1__1,&des_single__0_sbox_out__1__2,&des_single__0_sbox_out__1__3,&des_single__0_sbox_out__1__4);
  input[27] = (des_single__0_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__0_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__0_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__0_sbox_out__1__4) ^ (input[53]);

  
  des_single__0_sbox_in__2__1 = (key[2]) ^ (input[0]);
  des_single__0_sbox_in__2__2 = (key[34]) ^ (input[58]);
  des_single__0_sbox_in__2__3 = (key[25]) ^ (input[50]);
  des_single__0_sbox_in__2__4 = (key[24]) ^ (input[42]);
  des_single__0_sbox_in__2__5 = (key[43]) ^ (input[34]);
  des_single__0_sbox_in__2__6 = (key[57]) ^ (input[26]);
  sbox__2(des_single__0_sbox_in__2__1,des_single__0_sbox_in__2__2,des_single__0_sbox_in__2__3,des_single__0_sbox_in__2__4,des_single__0_sbox_in__2__5,des_single__0_sbox_in__2__6,&des_single__0_sbox_out__2__1,&des_single__0_sbox_out__2__2,&des_single__0_sbox_out__2__3,&des_single__0_sbox_out__2__4);
  input[5] = (des_single__0_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__0_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__0_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__0_sbox_out__2__4) ^ (input[17]);

  
  des_single__0_sbox_in__3__1 = (key[58]) ^ (input[34]);
  des_single__0_sbox_in__3__2 = (key[0]) ^ (input[26]);
  des_single__0_sbox_in__3__3 = (key[35]) ^ (input[18]);
  des_single__0_sbox_in__3__4 = (key[26]) ^ (input[10]);
  des_single__0_sbox_in__3__5 = (key[17]) ^ (input[2]);
  des_single__0_sbox_in__3__6 = (key[40]) ^ (input[60]);
  sbox__3(des_single__0_sbox_in__3__1,des_single__0_sbox_in__3__2,des_single__0_sbox_in__3__3,des_single__0_sbox_in__3__4,des_single__0_sbox_in__3__5,des_single__0_sbox_in__3__6,&des_single__0_sbox_out__3__1,&des_single__0_sbox_out__3__2,&des_single__0_sbox_out__3__3,&des_single__0_sbox_out__3__4);
  input[55] = (des_single__0_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__0_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__0_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__0_sbox_out__3__4) ^ (input[57]);

  
  des_single__0_sbox_in__4__1 = (key[21]) ^ (input[2]);
  des_single__0_sbox_in__4__2 = (key[27]) ^ (input[60]);
  des_single__0_sbox_in__4__3 = (key[38]) ^ (input[52]);
  des_single__0_sbox_in__4__4 = (key[53]) ^ (input[44]);
  des_single__0_sbox_in__4__5 = (key[36]) ^ (input[36]);
  des_single__0_sbox_in__4__6 = (key[3]) ^ (input[28]);
  sbox__4(des_single__0_sbox_in__4__1,des_single__0_sbox_in__4__2,des_single__0_sbox_in__4__3,des_single__0_sbox_in__4__4,des_single__0_sbox_in__4__5,des_single__0_sbox_in__4__6,&des_single__0_sbox_out__4__1,&des_single__0_sbox_out__4__2,&des_single__0_sbox_out__4__3,&des_single__0_sbox_out__4__4);
  input[1] = (des_single__0_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__0_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__0_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__0_sbox_out__4__4) ^ (input[41]);

  
  des_single__0_sbox_in__5__1 = (key[46]) ^ (input[36]);
  des_single__0_sbox_in__5__2 = (key[29]) ^ (input[28]);
  des_single__0_sbox_in__5__3 = (key[4]) ^ (input[20]);
  des_single__0_sbox_in__5__4 = (key[52]) ^ (input[12]);
  des_single__0_sbox_in__5__5 = (key[22]) ^ (input[4]);
  des_single__0_sbox_in__5__6 = (key[28]) ^ (input[62]);
  sbox__5(des_single__0_sbox_in__5__1,des_single__0_sbox_in__5__2,des_single__0_sbox_in__5__3,des_single__0_sbox_in__5__4,des_single__0_sbox_in__5__5,des_single__0_sbox_in__5__6,&des_single__0_sbox_out__5__1,&des_single__0_sbox_out__5__2,&des_single__0_sbox_out__5__3,&des_single__0_sbox_out__5__4);
  input[33] = (des_single__0_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__0_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__0_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__0_sbox_out__5__4) ^ (input[45]);

  
  des_single__0_sbox_in__6__1 = (key[60]) ^ (input[4]);
  des_single__0_sbox_in__6__2 = (key[20]) ^ (input[62]);
  des_single__0_sbox_in__6__3 = (key[37]) ^ (input[54]);
  des_single__0_sbox_in__6__4 = (key[62]) ^ (input[46]);
  des_single__0_sbox_in__6__5 = (key[14]) ^ (input[38]);
  des_single__0_sbox_in__6__6 = (key[19]) ^ (input[30]);
  sbox__6(des_single__0_sbox_in__6__1,des_single__0_sbox_in__6__2,des_single__0_sbox_in__6__3,des_single__0_sbox_in__6__4,des_single__0_sbox_in__6__5,des_single__0_sbox_in__6__6,&des_single__0_sbox_out__6__1,&des_single__0_sbox_out__6__2,&des_single__0_sbox_out__6__3,&des_single__0_sbox_out__6__4);
  input[7] = (des_single__0_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__0_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__0_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__0_sbox_out__6__4) ^ (input[9]);

  
  des_single__0_sbox_in__7__1 = (key[44]) ^ (input[38]);
  des_single__0_sbox_in__7__2 = (key[13]) ^ (input[30]);
  des_single__0_sbox_in__7__3 = (key[12]) ^ (input[22]);
  des_single__0_sbox_in__7__4 = (key[61]) ^ (input[14]);
  des_single__0_sbox_in__7__5 = (key[54]) ^ (input[6]);
  des_single__0_sbox_in__7__6 = (key[30]) ^ (input[56]);
  sbox__7(des_single__0_sbox_in__7__1,des_single__0_sbox_in__7__2,des_single__0_sbox_in__7__3,des_single__0_sbox_in__7__4,des_single__0_sbox_in__7__5,des_single__0_sbox_in__7__6,&des_single__0_sbox_out__7__1,&des_single__0_sbox_out__7__2,&des_single__0_sbox_out__7__3,&des_single__0_sbox_out__7__4);
  input[25] = (des_single__0_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__0_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__0_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__0_sbox_out__7__4) ^ (input[29]);

  
  des_single__1_sbox_in__0__1 = (key[1]) ^ (input[7]);
  des_single__1_sbox_in__0__2 = (key[42]) ^ (input[57]);
  des_single__1_sbox_in__0__3 = (key[25]) ^ (input[49]);
  des_single__1_sbox_in__0__4 = (key[51]) ^ (input[41]);
  des_single__1_sbox_in__0__5 = (key[40]) ^ (input[33]);
  des_single__1_sbox_in__0__6 = (key[8]) ^ (input[25]);
  sbox__0(des_single__1_sbox_in__0__1,des_single__1_sbox_in__0__2,des_single__1_sbox_in__0__3,des_single__1_sbox_in__0__4,des_single__1_sbox_in__0__5,des_single__1_sbox_in__0__6,&des_single__1_sbox_out__0__1,&des_single__1_sbox_out__0__2,&des_single__1_sbox_out__0__3,&des_single__1_sbox_out__0__4);
  input[58] = (des_single__1_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__1_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__1_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__1_sbox_out__0__4) ^ (input[14]);
  des_single__1_sbox_in__1__1 = (key[24]) ^ (input[33]);
  des_single__1_sbox_in__1__2 = (key[48]) ^ (input[25]);
  des_single__1_sbox_in__1__3 = (key[58]) ^ (input[17]);
  des_single__1_sbox_in__1__4 = (key[0]) ^ (input[9]);
  des_single__1_sbox_in__1__5 = (key[10]) ^ (input[1]);
  des_single__1_sbox_in__1__6 = (key[33]) ^ (input[59]);
  sbox__1(des_single__1_sbox_in__1__1,des_single__1_sbox_in__1__2,des_single__1_sbox_in__1__3,des_single__1_sbox_in__1__4,des_single__1_sbox_in__1__5,des_single__1_sbox_in__1__6,&des_single__1_sbox_out__1__1,&des_single__1_sbox_out__1__2,&des_single__1_sbox_out__1__3,&des_single__1_sbox_out__1__4);
  input[26] = (des_single__1_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__1_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__1_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__1_sbox_out__1__4) ^ (input[52]);
  des_single__1_sbox_in__2__1 = (key[59]) ^ (input[1]);
  des_single__1_sbox_in__2__2 = (key[26]) ^ (input[59]);
  des_single__1_sbox_in__2__3 = (key[17]) ^ (input[51]);
  des_single__1_sbox_in__2__4 = (key[16]) ^ (input[43]);
  des_single__1_sbox_in__2__5 = (key[35]) ^ (input[35]);
  des_single__1_sbox_in__2__6 = (key[49]) ^ (input[27]);
  sbox__2(des_single__1_sbox_in__2__1,des_single__1_sbox_in__2__2,des_single__1_sbox_in__2__3,des_single__1_sbox_in__2__4,des_single__1_sbox_in__2__5,des_single__1_sbox_in__2__6,&des_single__1_sbox_out__2__1,&des_single__1_sbox_out__2__2,&des_single__1_sbox_out__2__3,&des_single__1_sbox_out__2__4);
  input[4] = (des_single__1_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__1_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__1_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__1_sbox_out__2__4) ^ (input[16]);
  des_single__1_sbox_in__3__1 = (key[50]) ^ (input[35]);
  des_single__1_sbox_in__3__2 = (key[57]) ^ (input[27]);
  des_single__1_sbox_in__3__3 = (key[56]) ^ (input[19]);
  des_single__1_sbox_in__3__4 = (key[18]) ^ (input[11]);
  des_single__1_sbox_in__3__5 = (key[9]) ^ (input[3]);
  des_single__1_sbox_in__3__6 = (key[32]) ^ (input[61]);
  sbox__3(des_single__1_sbox_in__3__1,des_single__1_sbox_in__3__2,des_single__1_sbox_in__3__3,des_single__1_sbox_in__3__4,des_single__1_sbox_in__3__5,des_single__1_sbox_in__3__6,&des_single__1_sbox_out__3__1,&des_single__1_sbox_out__3__2,&des_single__1_sbox_out__3__3,&des_single__1_sbox_out__3__4);
  input[54] = (des_single__1_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__1_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__1_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__1_sbox_out__3__4) ^ (input[56]);
  des_single__1_sbox_in__4__1 = (key[13]) ^ (input[3]);
  des_single__1_sbox_in__4__2 = (key[19]) ^ (input[61]);
  des_single__1_sbox_in__4__3 = (key[30]) ^ (input[53]);
  des_single__1_sbox_in__4__4 = (key[45]) ^ (input[45]);
  des_single__1_sbox_in__4__5 = (key[28]) ^ (input[37]);
  des_single__1_sbox_in__4__6 = (key[62]) ^ (input[29]);
  sbox__4(des_single__1_sbox_in__4__1,des_single__1_sbox_in__4__2,des_single__1_sbox_in__4__3,des_single__1_sbox_in__4__4,des_single__1_sbox_in__4__5,des_single__1_sbox_in__4__6,&des_single__1_sbox_out__4__1,&des_single__1_sbox_out__4__2,&des_single__1_sbox_out__4__3,&des_single__1_sbox_out__4__4);
  input[0] = (des_single__1_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__1_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__1_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__1_sbox_out__4__4) ^ (input[40]);
  des_single__1_sbox_in__5__1 = (key[38]) ^ (input[37]);
  des_single__1_sbox_in__5__2 = (key[21]) ^ (input[29]);
  des_single__1_sbox_in__5__3 = (key[27]) ^ (input[21]);
  des_single__1_sbox_in__5__4 = (key[44]) ^ (input[13]);
  des_single__1_sbox_in__5__5 = (key[14]) ^ (input[5]);
  des_single__1_sbox_in__5__6 = (key[20]) ^ (input[63]);
  sbox__5(des_single__1_sbox_in__5__1,des_single__1_sbox_in__5__2,des_single__1_sbox_in__5__3,des_single__1_sbox_in__5__4,des_single__1_sbox_in__5__5,des_single__1_sbox_in__5__6,&des_single__1_sbox_out__5__1,&des_single__1_sbox_out__5__2,&des_single__1_sbox_out__5__3,&des_single__1_sbox_out__5__4);
  input[32] = (des_single__1_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__1_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__1_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__1_sbox_out__5__4) ^ (input[44]);
  des_single__1_sbox_in__6__1 = (key[52]) ^ (input[5]);
  des_single__1_sbox_in__6__2 = (key[12]) ^ (input[63]);
  des_single__1_sbox_in__6__3 = (key[29]) ^ (input[55]);
  des_single__1_sbox_in__6__4 = (key[54]) ^ (input[47]);
  des_single__1_sbox_in__6__5 = (key[6]) ^ (input[39]);
  des_single__1_sbox_in__6__6 = (key[11]) ^ (input[31]);
  sbox__6(des_single__1_sbox_in__6__1,des_single__1_sbox_in__6__2,des_single__1_sbox_in__6__3,des_single__1_sbox_in__6__4,des_single__1_sbox_in__6__5,des_single__1_sbox_in__6__6,&des_single__1_sbox_out__6__1,&des_single__1_sbox_out__6__2,&des_single__1_sbox_out__6__3,&des_single__1_sbox_out__6__4);
  input[6] = (des_single__1_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__1_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__1_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__1_sbox_out__6__4) ^ (input[8]);
  des_single__1_sbox_in__7__1 = (key[36]) ^ (input[39]);
  des_single__1_sbox_in__7__2 = (key[5]) ^ (input[31]);
  des_single__1_sbox_in__7__3 = (key[4]) ^ (input[23]);
  des_single__1_sbox_in__7__4 = (key[53]) ^ (input[15]);
  des_single__1_sbox_in__7__5 = (key[46]) ^ (input[7]);
  des_single__1_sbox_in__7__6 = (key[22]) ^ (input[57]);
  sbox__7(des_single__1_sbox_in__7__1,des_single__1_sbox_in__7__2,des_single__1_sbox_in__7__3,des_single__1_sbox_in__7__4,des_single__1_sbox_in__7__5,des_single__1_sbox_in__7__6,&des_single__1_sbox_out__7__1,&des_single__1_sbox_out__7__2,&des_single__1_sbox_out__7__3,&des_single__1_sbox_out__7__4);
  input[24] = (des_single__1_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__1_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__1_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__1_sbox_out__7__4) ^ (input[28]);
  des_single__2_sbox_in__0__1 = (key[50]) ^ (input[6]);
  des_single__2_sbox_in__0__2 = (key[26]) ^ (input[56]);
  des_single__2_sbox_in__0__3 = (key[9]) ^ (input[48]);
  des_single__2_sbox_in__0__4 = (key[35]) ^ (input[40]);
  des_single__2_sbox_in__0__5 = (key[24]) ^ (input[32]);
  des_single__2_sbox_in__0__6 = (key[57]) ^ (input[24]);
  sbox__0(des_single__2_sbox_in__0__1,des_single__2_sbox_in__0__2,des_single__2_sbox_in__0__3,des_single__2_sbox_in__0__4,des_single__2_sbox_in__0__5,des_single__2_sbox_in__0__6,&des_single__2_sbox_out__0__1,&des_single__2_sbox_out__0__2,&des_single__2_sbox_out__0__3,&des_single__2_sbox_out__0__4);
  input[59] = (des_single__2_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__2_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__2_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__2_sbox_out__0__4) ^ (input[15]);
  des_single__2_sbox_in__1__1 = (key[8]) ^ (input[32]);
  des_single__2_sbox_in__1__2 = (key[32]) ^ (input[24]);
  des_single__2_sbox_in__1__3 = (key[42]) ^ (input[16]);
  des_single__2_sbox_in__1__4 = (key[49]) ^ (input[8]);
  des_single__2_sbox_in__1__5 = (key[59]) ^ (input[0]);
  des_single__2_sbox_in__1__6 = (key[17]) ^ (input[58]);
  sbox__1(des_single__2_sbox_in__1__1,des_single__2_sbox_in__1__2,des_single__2_sbox_in__1__3,des_single__2_sbox_in__1__4,des_single__2_sbox_in__1__5,des_single__2_sbox_in__1__6,&des_single__2_sbox_out__1__1,&des_single__2_sbox_out__1__2,&des_single__2_sbox_out__1__3,&des_single__2_sbox_out__1__4);
  input[27] = (des_single__2_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__2_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__2_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__2_sbox_out__1__4) ^ (input[53]);
  des_single__2_sbox_in__2__1 = (key[43]) ^ (input[0]);
  des_single__2_sbox_in__2__2 = (key[10]) ^ (input[58]);
  des_single__2_sbox_in__2__3 = (key[1]) ^ (input[50]);
  des_single__2_sbox_in__2__4 = (key[0]) ^ (input[42]);
  des_single__2_sbox_in__2__5 = (key[48]) ^ (input[34]);
  des_single__2_sbox_in__2__6 = (key[33]) ^ (input[26]);
  sbox__2(des_single__2_sbox_in__2__1,des_single__2_sbox_in__2__2,des_single__2_sbox_in__2__3,des_single__2_sbox_in__2__4,des_single__2_sbox_in__2__5,des_single__2_sbox_in__2__6,&des_single__2_sbox_out__2__1,&des_single__2_sbox_out__2__2,&des_single__2_sbox_out__2__3,&des_single__2_sbox_out__2__4);
  input[5] = (des_single__2_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__2_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__2_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__2_sbox_out__2__4) ^ (input[17]);
  des_single__2_sbox_in__3__1 = (key[34]) ^ (input[34]);
  des_single__2_sbox_in__3__2 = (key[41]) ^ (input[26]);
  des_single__2_sbox_in__3__3 = (key[40]) ^ (input[18]);
  des_single__2_sbox_in__3__4 = (key[2]) ^ (input[10]);
  des_single__2_sbox_in__3__5 = (key[58]) ^ (input[2]);
  des_single__2_sbox_in__3__6 = (key[16]) ^ (input[60]);
  sbox__3(des_single__2_sbox_in__3__1,des_single__2_sbox_in__3__2,des_single__2_sbox_in__3__3,des_single__2_sbox_in__3__4,des_single__2_sbox_in__3__5,des_single__2_sbox_in__3__6,&des_single__2_sbox_out__3__1,&des_single__2_sbox_out__3__2,&des_single__2_sbox_out__3__3,&des_single__2_sbox_out__3__4);
  input[55] = (des_single__2_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__2_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__2_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__2_sbox_out__3__4) ^ (input[57]);
  des_single__2_sbox_in__4__1 = (key[60]) ^ (input[2]);
  des_single__2_sbox_in__4__2 = (key[3]) ^ (input[60]);
  des_single__2_sbox_in__4__3 = (key[14]) ^ (input[52]);
  des_single__2_sbox_in__4__4 = (key[29]) ^ (input[44]);
  des_single__2_sbox_in__4__5 = (key[12]) ^ (input[36]);
  des_single__2_sbox_in__4__6 = (key[46]) ^ (input[28]);
  sbox__4(des_single__2_sbox_in__4__1,des_single__2_sbox_in__4__2,des_single__2_sbox_in__4__3,des_single__2_sbox_in__4__4,des_single__2_sbox_in__4__5,des_single__2_sbox_in__4__6,&des_single__2_sbox_out__4__1,&des_single__2_sbox_out__4__2,&des_single__2_sbox_out__4__3,&des_single__2_sbox_out__4__4);
  input[1] = (des_single__2_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__2_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__2_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__2_sbox_out__4__4) ^ (input[41]);
  des_single__2_sbox_in__5__1 = (key[22]) ^ (input[36]);
  des_single__2_sbox_in__5__2 = (key[5]) ^ (input[28]);
  des_single__2_sbox_in__5__3 = (key[11]) ^ (input[20]);
  des_single__2_sbox_in__5__4 = (key[28]) ^ (input[12]);
  des_single__2_sbox_in__5__5 = (key[61]) ^ (input[4]);
  des_single__2_sbox_in__5__6 = (key[4]) ^ (input[62]);
  sbox__5(des_single__2_sbox_in__5__1,des_single__2_sbox_in__5__2,des_single__2_sbox_in__5__3,des_single__2_sbox_in__5__4,des_single__2_sbox_in__5__5,des_single__2_sbox_in__5__6,&des_single__2_sbox_out__5__1,&des_single__2_sbox_out__5__2,&des_single__2_sbox_out__5__3,&des_single__2_sbox_out__5__4);
  input[33] = (des_single__2_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__2_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__2_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__2_sbox_out__5__4) ^ (input[45]);
  des_single__2_sbox_in__6__1 = (key[36]) ^ (input[4]);
  des_single__2_sbox_in__6__2 = (key[27]) ^ (input[62]);
  des_single__2_sbox_in__6__3 = (key[13]) ^ (input[54]);
  des_single__2_sbox_in__6__4 = (key[38]) ^ (input[46]);
  des_single__2_sbox_in__6__5 = (key[53]) ^ (input[38]);
  des_single__2_sbox_in__6__6 = (key[62]) ^ (input[30]);
  sbox__6(des_single__2_sbox_in__6__1,des_single__2_sbox_in__6__2,des_single__2_sbox_in__6__3,des_single__2_sbox_in__6__4,des_single__2_sbox_in__6__5,des_single__2_sbox_in__6__6,&des_single__2_sbox_out__6__1,&des_single__2_sbox_out__6__2,&des_single__2_sbox_out__6__3,&des_single__2_sbox_out__6__4);
  input[7] = (des_single__2_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__2_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__2_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__2_sbox_out__6__4) ^ (input[9]);
  des_single__2_sbox_in__7__1 = (key[20]) ^ (input[38]);
  des_single__2_sbox_in__7__2 = (key[52]) ^ (input[30]);
  des_single__2_sbox_in__7__3 = (key[19]) ^ (input[22]);
  des_single__2_sbox_in__7__4 = (key[37]) ^ (input[14]);
  des_single__2_sbox_in__7__5 = (key[30]) ^ (input[6]);
  des_single__2_sbox_in__7__6 = (key[6]) ^ (input[56]);
  sbox__7(des_single__2_sbox_in__7__1,des_single__2_sbox_in__7__2,des_single__2_sbox_in__7__3,des_single__2_sbox_in__7__4,des_single__2_sbox_in__7__5,des_single__2_sbox_in__7__6,&des_single__2_sbox_out__7__1,&des_single__2_sbox_out__7__2,&des_single__2_sbox_out__7__3,&des_single__2_sbox_out__7__4);
  input[25] = (des_single__2_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__2_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__2_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__2_sbox_out__7__4) ^ (input[29]);
  des_single__3_sbox_in__0__1 = (key[34]) ^ (input[7]);
  des_single__3_sbox_in__0__2 = (key[10]) ^ (input[57]);
  des_single__3_sbox_in__0__3 = (key[58]) ^ (input[49]);
  des_single__3_sbox_in__0__4 = (key[48]) ^ (input[41]);
  des_single__3_sbox_in__0__5 = (key[8]) ^ (input[33]);
  des_single__3_sbox_in__0__6 = (key[41]) ^ (input[25]);
  sbox__0(des_single__3_sbox_in__0__1,des_single__3_sbox_in__0__2,des_single__3_sbox_in__0__3,des_single__3_sbox_in__0__4,des_single__3_sbox_in__0__5,des_single__3_sbox_in__0__6,&des_single__3_sbox_out__0__1,&des_single__3_sbox_out__0__2,&des_single__3_sbox_out__0__3,&des_single__3_sbox_out__0__4);
  input[58] = (des_single__3_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__3_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__3_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__3_sbox_out__0__4) ^ (input[14]);
  des_single__3_sbox_in__1__1 = (key[57]) ^ (input[33]);
  des_single__3_sbox_in__1__2 = (key[16]) ^ (input[25]);
  des_single__3_sbox_in__1__3 = (key[26]) ^ (input[17]);
  des_single__3_sbox_in__1__4 = (key[33]) ^ (input[9]);
  des_single__3_sbox_in__1__5 = (key[43]) ^ (input[1]);
  des_single__3_sbox_in__1__6 = (key[1]) ^ (input[59]);
  sbox__1(des_single__3_sbox_in__1__1,des_single__3_sbox_in__1__2,des_single__3_sbox_in__1__3,des_single__3_sbox_in__1__4,des_single__3_sbox_in__1__5,des_single__3_sbox_in__1__6,&des_single__3_sbox_out__1__1,&des_single__3_sbox_out__1__2,&des_single__3_sbox_out__1__3,&des_single__3_sbox_out__1__4);
  input[26] = (des_single__3_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__3_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__3_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__3_sbox_out__1__4) ^ (input[52]);
  des_single__3_sbox_in__2__1 = (key[56]) ^ (input[1]);
  des_single__3_sbox_in__2__2 = (key[59]) ^ (input[59]);
  des_single__3_sbox_in__2__3 = (key[50]) ^ (input[51]);
  des_single__3_sbox_in__2__4 = (key[49]) ^ (input[43]);
  des_single__3_sbox_in__2__5 = (key[32]) ^ (input[35]);
  des_single__3_sbox_in__2__6 = (key[17]) ^ (input[27]);
  sbox__2(des_single__3_sbox_in__2__1,des_single__3_sbox_in__2__2,des_single__3_sbox_in__2__3,des_single__3_sbox_in__2__4,des_single__3_sbox_in__2__5,des_single__3_sbox_in__2__6,&des_single__3_sbox_out__2__1,&des_single__3_sbox_out__2__2,&des_single__3_sbox_out__2__3,&des_single__3_sbox_out__2__4);
  input[4] = (des_single__3_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__3_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__3_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__3_sbox_out__2__4) ^ (input[16]);
  des_single__3_sbox_in__3__1 = (key[18]) ^ (input[35]);
  des_single__3_sbox_in__3__2 = (key[25]) ^ (input[27]);
  des_single__3_sbox_in__3__3 = (key[24]) ^ (input[19]);
  des_single__3_sbox_in__3__4 = (key[51]) ^ (input[11]);
  des_single__3_sbox_in__3__5 = (key[42]) ^ (input[3]);
  des_single__3_sbox_in__3__6 = (key[0]) ^ (input[61]);
  sbox__3(des_single__3_sbox_in__3__1,des_single__3_sbox_in__3__2,des_single__3_sbox_in__3__3,des_single__3_sbox_in__3__4,des_single__3_sbox_in__3__5,des_single__3_sbox_in__3__6,&des_single__3_sbox_out__3__1,&des_single__3_sbox_out__3__2,&des_single__3_sbox_out__3__3,&des_single__3_sbox_out__3__4);
  input[54] = (des_single__3_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__3_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__3_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__3_sbox_out__3__4) ^ (input[56]);
  des_single__3_sbox_in__4__1 = (key[44]) ^ (input[3]);
  des_single__3_sbox_in__4__2 = (key[54]) ^ (input[61]);
  des_single__3_sbox_in__4__3 = (key[61]) ^ (input[53]);
  des_single__3_sbox_in__4__4 = (key[13]) ^ (input[45]);
  des_single__3_sbox_in__4__5 = (key[27]) ^ (input[37]);
  des_single__3_sbox_in__4__6 = (key[30]) ^ (input[29]);
  sbox__4(des_single__3_sbox_in__4__1,des_single__3_sbox_in__4__2,des_single__3_sbox_in__4__3,des_single__3_sbox_in__4__4,des_single__3_sbox_in__4__5,des_single__3_sbox_in__4__6,&des_single__3_sbox_out__4__1,&des_single__3_sbox_out__4__2,&des_single__3_sbox_out__4__3,&des_single__3_sbox_out__4__4);
  input[0] = (des_single__3_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__3_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__3_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__3_sbox_out__4__4) ^ (input[40]);
  des_single__3_sbox_in__5__1 = (key[6]) ^ (input[37]);
  des_single__3_sbox_in__5__2 = (key[52]) ^ (input[29]);
  des_single__3_sbox_in__5__3 = (key[62]) ^ (input[21]);
  des_single__3_sbox_in__5__4 = (key[12]) ^ (input[13]);
  des_single__3_sbox_in__5__5 = (key[45]) ^ (input[5]);
  des_single__3_sbox_in__5__6 = (key[19]) ^ (input[63]);
  sbox__5(des_single__3_sbox_in__5__1,des_single__3_sbox_in__5__2,des_single__3_sbox_in__5__3,des_single__3_sbox_in__5__4,des_single__3_sbox_in__5__5,des_single__3_sbox_in__5__6,&des_single__3_sbox_out__5__1,&des_single__3_sbox_out__5__2,&des_single__3_sbox_out__5__3,&des_single__3_sbox_out__5__4);
  input[32] = (des_single__3_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__3_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__3_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__3_sbox_out__5__4) ^ (input[44]);
  des_single__3_sbox_in__6__1 = (key[20]) ^ (input[5]);
  des_single__3_sbox_in__6__2 = (key[11]) ^ (input[63]);
  des_single__3_sbox_in__6__3 = (key[60]) ^ (input[55]);
  des_single__3_sbox_in__6__4 = (key[22]) ^ (input[47]);
  des_single__3_sbox_in__6__5 = (key[37]) ^ (input[39]);
  des_single__3_sbox_in__6__6 = (key[46]) ^ (input[31]);
  sbox__6(des_single__3_sbox_in__6__1,des_single__3_sbox_in__6__2,des_single__3_sbox_in__6__3,des_single__3_sbox_in__6__4,des_single__3_sbox_in__6__5,des_single__3_sbox_in__6__6,&des_single__3_sbox_out__6__1,&des_single__3_sbox_out__6__2,&des_single__3_sbox_out__6__3,&des_single__3_sbox_out__6__4);
  input[6] = (des_single__3_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__3_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__3_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__3_sbox_out__6__4) ^ (input[8]);
  des_single__3_sbox_in__7__1 = (key[4]) ^ (input[39]);
  des_single__3_sbox_in__7__2 = (key[36]) ^ (input[31]);
  des_single__3_sbox_in__7__3 = (key[3]) ^ (input[23]);
  des_single__3_sbox_in__7__4 = (key[21]) ^ (input[15]);
  des_single__3_sbox_in__7__5 = (key[14]) ^ (input[7]);
  des_single__3_sbox_in__7__6 = (key[53]) ^ (input[57]);
  sbox__7(des_single__3_sbox_in__7__1,des_single__3_sbox_in__7__2,des_single__3_sbox_in__7__3,des_single__3_sbox_in__7__4,des_single__3_sbox_in__7__5,des_single__3_sbox_in__7__6,&des_single__3_sbox_out__7__1,&des_single__3_sbox_out__7__2,&des_single__3_sbox_out__7__3,&des_single__3_sbox_out__7__4);
  input[24] = (des_single__3_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__3_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__3_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__3_sbox_out__7__4) ^ (input[28]);
  des_single__4_sbox_in__0__1 = (key[18]) ^ (input[6]);
  des_single__4_sbox_in__0__2 = (key[59]) ^ (input[56]);
  des_single__4_sbox_in__0__3 = (key[42]) ^ (input[48]);
  des_single__4_sbox_in__0__4 = (key[32]) ^ (input[40]);
  des_single__4_sbox_in__0__5 = (key[57]) ^ (input[32]);
  des_single__4_sbox_in__0__6 = (key[25]) ^ (input[24]);
  sbox__0(des_single__4_sbox_in__0__1,des_single__4_sbox_in__0__2,des_single__4_sbox_in__0__3,des_single__4_sbox_in__0__4,des_single__4_sbox_in__0__5,des_single__4_sbox_in__0__6,&des_single__4_sbox_out__0__1,&des_single__4_sbox_out__0__2,&des_single__4_sbox_out__0__3,&des_single__4_sbox_out__0__4);
  input[59] = (des_single__4_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__4_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__4_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__4_sbox_out__0__4) ^ (input[15]);
  des_single__4_sbox_in__1__1 = (key[41]) ^ (input[32]);
  des_single__4_sbox_in__1__2 = (key[0]) ^ (input[24]);
  des_single__4_sbox_in__1__3 = (key[10]) ^ (input[16]);
  des_single__4_sbox_in__1__4 = (key[17]) ^ (input[8]);
  des_single__4_sbox_in__1__5 = (key[56]) ^ (input[0]);
  des_single__4_sbox_in__1__6 = (key[50]) ^ (input[58]);
  sbox__1(des_single__4_sbox_in__1__1,des_single__4_sbox_in__1__2,des_single__4_sbox_in__1__3,des_single__4_sbox_in__1__4,des_single__4_sbox_in__1__5,des_single__4_sbox_in__1__6,&des_single__4_sbox_out__1__1,&des_single__4_sbox_out__1__2,&des_single__4_sbox_out__1__3,&des_single__4_sbox_out__1__4);
  input[27] = (des_single__4_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__4_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__4_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__4_sbox_out__1__4) ^ (input[53]);
  des_single__4_sbox_in__2__1 = (key[40]) ^ (input[0]);
  des_single__4_sbox_in__2__2 = (key[43]) ^ (input[58]);
  des_single__4_sbox_in__2__3 = (key[34]) ^ (input[50]);
  des_single__4_sbox_in__2__4 = (key[33]) ^ (input[42]);
  des_single__4_sbox_in__2__5 = (key[16]) ^ (input[34]);
  des_single__4_sbox_in__2__6 = (key[1]) ^ (input[26]);
  sbox__2(des_single__4_sbox_in__2__1,des_single__4_sbox_in__2__2,des_single__4_sbox_in__2__3,des_single__4_sbox_in__2__4,des_single__4_sbox_in__2__5,des_single__4_sbox_in__2__6,&des_single__4_sbox_out__2__1,&des_single__4_sbox_out__2__2,&des_single__4_sbox_out__2__3,&des_single__4_sbox_out__2__4);
  input[5] = (des_single__4_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__4_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__4_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__4_sbox_out__2__4) ^ (input[17]);
  des_single__4_sbox_in__3__1 = (key[2]) ^ (input[34]);
  des_single__4_sbox_in__3__2 = (key[9]) ^ (input[26]);
  des_single__4_sbox_in__3__3 = (key[8]) ^ (input[18]);
  des_single__4_sbox_in__3__4 = (key[35]) ^ (input[10]);
  des_single__4_sbox_in__3__5 = (key[26]) ^ (input[2]);
  des_single__4_sbox_in__3__6 = (key[49]) ^ (input[60]);
  sbox__3(des_single__4_sbox_in__3__1,des_single__4_sbox_in__3__2,des_single__4_sbox_in__3__3,des_single__4_sbox_in__3__4,des_single__4_sbox_in__3__5,des_single__4_sbox_in__3__6,&des_single__4_sbox_out__3__1,&des_single__4_sbox_out__3__2,&des_single__4_sbox_out__3__3,&des_single__4_sbox_out__3__4);
  input[55] = (des_single__4_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__4_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__4_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__4_sbox_out__3__4) ^ (input[57]);
  des_single__4_sbox_in__4__1 = (key[28]) ^ (input[2]);
  des_single__4_sbox_in__4__2 = (key[38]) ^ (input[60]);
  des_single__4_sbox_in__4__3 = (key[45]) ^ (input[52]);
  des_single__4_sbox_in__4__4 = (key[60]) ^ (input[44]);
  des_single__4_sbox_in__4__5 = (key[11]) ^ (input[36]);
  des_single__4_sbox_in__4__6 = (key[14]) ^ (input[28]);
  sbox__4(des_single__4_sbox_in__4__1,des_single__4_sbox_in__4__2,des_single__4_sbox_in__4__3,des_single__4_sbox_in__4__4,des_single__4_sbox_in__4__5,des_single__4_sbox_in__4__6,&des_single__4_sbox_out__4__1,&des_single__4_sbox_out__4__2,&des_single__4_sbox_out__4__3,&des_single__4_sbox_out__4__4);
  input[1] = (des_single__4_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__4_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__4_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__4_sbox_out__4__4) ^ (input[41]);
  des_single__4_sbox_in__5__1 = (key[53]) ^ (input[36]);
  des_single__4_sbox_in__5__2 = (key[36]) ^ (input[28]);
  des_single__4_sbox_in__5__3 = (key[46]) ^ (input[20]);
  des_single__4_sbox_in__5__4 = (key[27]) ^ (input[12]);
  des_single__4_sbox_in__5__5 = (key[29]) ^ (input[4]);
  des_single__4_sbox_in__5__6 = (key[3]) ^ (input[62]);
  sbox__5(des_single__4_sbox_in__5__1,des_single__4_sbox_in__5__2,des_single__4_sbox_in__5__3,des_single__4_sbox_in__5__4,des_single__4_sbox_in__5__5,des_single__4_sbox_in__5__6,&des_single__4_sbox_out__5__1,&des_single__4_sbox_out__5__2,&des_single__4_sbox_out__5__3,&des_single__4_sbox_out__5__4);
  input[33] = (des_single__4_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__4_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__4_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__4_sbox_out__5__4) ^ (input[45]);
  des_single__4_sbox_in__6__1 = (key[4]) ^ (input[4]);
  des_single__4_sbox_in__6__2 = (key[62]) ^ (input[62]);
  des_single__4_sbox_in__6__3 = (key[44]) ^ (input[54]);
  des_single__4_sbox_in__6__4 = (key[6]) ^ (input[46]);
  des_single__4_sbox_in__6__5 = (key[21]) ^ (input[38]);
  des_single__4_sbox_in__6__6 = (key[30]) ^ (input[30]);
  sbox__6(des_single__4_sbox_in__6__1,des_single__4_sbox_in__6__2,des_single__4_sbox_in__6__3,des_single__4_sbox_in__6__4,des_single__4_sbox_in__6__5,des_single__4_sbox_in__6__6,&des_single__4_sbox_out__6__1,&des_single__4_sbox_out__6__2,&des_single__4_sbox_out__6__3,&des_single__4_sbox_out__6__4);
  input[7] = (des_single__4_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__4_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__4_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__4_sbox_out__6__4) ^ (input[9]);
  des_single__4_sbox_in__7__1 = (key[19]) ^ (input[38]);
  des_single__4_sbox_in__7__2 = (key[20]) ^ (input[30]);
  des_single__4_sbox_in__7__3 = (key[54]) ^ (input[22]);
  des_single__4_sbox_in__7__4 = (key[5]) ^ (input[14]);
  des_single__4_sbox_in__7__5 = (key[61]) ^ (input[6]);
  des_single__4_sbox_in__7__6 = (key[37]) ^ (input[56]);
  sbox__7(des_single__4_sbox_in__7__1,des_single__4_sbox_in__7__2,des_single__4_sbox_in__7__3,des_single__4_sbox_in__7__4,des_single__4_sbox_in__7__5,des_single__4_sbox_in__7__6,&des_single__4_sbox_out__7__1,&des_single__4_sbox_out__7__2,&des_single__4_sbox_out__7__3,&des_single__4_sbox_out__7__4);
  input[25] = (des_single__4_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__4_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__4_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__4_sbox_out__7__4) ^ (input[29]);
  des_single__5_sbox_in__0__1 = (key[2]) ^ (input[7]);
  des_single__5_sbox_in__0__2 = (key[43]) ^ (input[57]);
  des_single__5_sbox_in__0__3 = (key[26]) ^ (input[49]);
  des_single__5_sbox_in__0__4 = (key[16]) ^ (input[41]);
  des_single__5_sbox_in__0__5 = (key[41]) ^ (input[33]);
  des_single__5_sbox_in__0__6 = (key[9]) ^ (input[25]);
  sbox__0(des_single__5_sbox_in__0__1,des_single__5_sbox_in__0__2,des_single__5_sbox_in__0__3,des_single__5_sbox_in__0__4,des_single__5_sbox_in__0__5,des_single__5_sbox_in__0__6,&des_single__5_sbox_out__0__1,&des_single__5_sbox_out__0__2,&des_single__5_sbox_out__0__3,&des_single__5_sbox_out__0__4);
  input[58] = (des_single__5_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__5_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__5_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__5_sbox_out__0__4) ^ (input[14]);
  des_single__5_sbox_in__1__1 = (key[25]) ^ (input[33]);
  des_single__5_sbox_in__1__2 = (key[49]) ^ (input[25]);
  des_single__5_sbox_in__1__3 = (key[59]) ^ (input[17]);
  des_single__5_sbox_in__1__4 = (key[1]) ^ (input[9]);
  des_single__5_sbox_in__1__5 = (key[40]) ^ (input[1]);
  des_single__5_sbox_in__1__6 = (key[34]) ^ (input[59]);
  sbox__1(des_single__5_sbox_in__1__1,des_single__5_sbox_in__1__2,des_single__5_sbox_in__1__3,des_single__5_sbox_in__1__4,des_single__5_sbox_in__1__5,des_single__5_sbox_in__1__6,&des_single__5_sbox_out__1__1,&des_single__5_sbox_out__1__2,&des_single__5_sbox_out__1__3,&des_single__5_sbox_out__1__4);
  input[26] = (des_single__5_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__5_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__5_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__5_sbox_out__1__4) ^ (input[52]);
  des_single__5_sbox_in__2__1 = (key[24]) ^ (input[1]);
  des_single__5_sbox_in__2__2 = (key[56]) ^ (input[59]);
  des_single__5_sbox_in__2__3 = (key[18]) ^ (input[51]);
  des_single__5_sbox_in__2__4 = (key[17]) ^ (input[43]);
  des_single__5_sbox_in__2__5 = (key[0]) ^ (input[35]);
  des_single__5_sbox_in__2__6 = (key[50]) ^ (input[27]);
  sbox__2(des_single__5_sbox_in__2__1,des_single__5_sbox_in__2__2,des_single__5_sbox_in__2__3,des_single__5_sbox_in__2__4,des_single__5_sbox_in__2__5,des_single__5_sbox_in__2__6,&des_single__5_sbox_out__2__1,&des_single__5_sbox_out__2__2,&des_single__5_sbox_out__2__3,&des_single__5_sbox_out__2__4);
  input[4] = (des_single__5_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__5_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__5_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__5_sbox_out__2__4) ^ (input[16]);
  des_single__5_sbox_in__3__1 = (key[51]) ^ (input[35]);
  des_single__5_sbox_in__3__2 = (key[58]) ^ (input[27]);
  des_single__5_sbox_in__3__3 = (key[57]) ^ (input[19]);
  des_single__5_sbox_in__3__4 = (key[48]) ^ (input[11]);
  des_single__5_sbox_in__3__5 = (key[10]) ^ (input[3]);
  des_single__5_sbox_in__3__6 = (key[33]) ^ (input[61]);
  sbox__3(des_single__5_sbox_in__3__1,des_single__5_sbox_in__3__2,des_single__5_sbox_in__3__3,des_single__5_sbox_in__3__4,des_single__5_sbox_in__3__5,des_single__5_sbox_in__3__6,&des_single__5_sbox_out__3__1,&des_single__5_sbox_out__3__2,&des_single__5_sbox_out__3__3,&des_single__5_sbox_out__3__4);
  input[54] = (des_single__5_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__5_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__5_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__5_sbox_out__3__4) ^ (input[56]);
  des_single__5_sbox_in__4__1 = (key[12]) ^ (input[3]);
  des_single__5_sbox_in__4__2 = (key[22]) ^ (input[61]);
  des_single__5_sbox_in__4__3 = (key[29]) ^ (input[53]);
  des_single__5_sbox_in__4__4 = (key[44]) ^ (input[45]);
  des_single__5_sbox_in__4__5 = (key[62]) ^ (input[37]);
  des_single__5_sbox_in__4__6 = (key[61]) ^ (input[29]);
  sbox__4(des_single__5_sbox_in__4__1,des_single__5_sbox_in__4__2,des_single__5_sbox_in__4__3,des_single__5_sbox_in__4__4,des_single__5_sbox_in__4__5,des_single__5_sbox_in__4__6,&des_single__5_sbox_out__4__1,&des_single__5_sbox_out__4__2,&des_single__5_sbox_out__4__3,&des_single__5_sbox_out__4__4);
  input[0] = (des_single__5_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__5_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__5_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__5_sbox_out__4__4) ^ (input[40]);
  des_single__5_sbox_in__5__1 = (key[37]) ^ (input[37]);
  des_single__5_sbox_in__5__2 = (key[20]) ^ (input[29]);
  des_single__5_sbox_in__5__3 = (key[30]) ^ (input[21]);
  des_single__5_sbox_in__5__4 = (key[11]) ^ (input[13]);
  des_single__5_sbox_in__5__5 = (key[13]) ^ (input[5]);
  des_single__5_sbox_in__5__6 = (key[54]) ^ (input[63]);
  sbox__5(des_single__5_sbox_in__5__1,des_single__5_sbox_in__5__2,des_single__5_sbox_in__5__3,des_single__5_sbox_in__5__4,des_single__5_sbox_in__5__5,des_single__5_sbox_in__5__6,&des_single__5_sbox_out__5__1,&des_single__5_sbox_out__5__2,&des_single__5_sbox_out__5__3,&des_single__5_sbox_out__5__4);
  input[32] = (des_single__5_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__5_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__5_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__5_sbox_out__5__4) ^ (input[44]);
  des_single__5_sbox_in__6__1 = (key[19]) ^ (input[5]);
  des_single__5_sbox_in__6__2 = (key[46]) ^ (input[63]);
  des_single__5_sbox_in__6__3 = (key[28]) ^ (input[55]);
  des_single__5_sbox_in__6__4 = (key[53]) ^ (input[47]);
  des_single__5_sbox_in__6__5 = (key[5]) ^ (input[39]);
  des_single__5_sbox_in__6__6 = (key[14]) ^ (input[31]);
  sbox__6(des_single__5_sbox_in__6__1,des_single__5_sbox_in__6__2,des_single__5_sbox_in__6__3,des_single__5_sbox_in__6__4,des_single__5_sbox_in__6__5,des_single__5_sbox_in__6__6,&des_single__5_sbox_out__6__1,&des_single__5_sbox_out__6__2,&des_single__5_sbox_out__6__3,&des_single__5_sbox_out__6__4);
  input[6] = (des_single__5_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__5_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__5_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__5_sbox_out__6__4) ^ (input[8]);
  des_single__5_sbox_in__7__1 = (key[3]) ^ (input[39]);
  des_single__5_sbox_in__7__2 = (key[4]) ^ (input[31]);
  des_single__5_sbox_in__7__3 = (key[38]) ^ (input[23]);
  des_single__5_sbox_in__7__4 = (key[52]) ^ (input[15]);
  des_single__5_sbox_in__7__5 = (key[45]) ^ (input[7]);
  des_single__5_sbox_in__7__6 = (key[21]) ^ (input[57]);
  sbox__7(des_single__5_sbox_in__7__1,des_single__5_sbox_in__7__2,des_single__5_sbox_in__7__3,des_single__5_sbox_in__7__4,des_single__5_sbox_in__7__5,des_single__5_sbox_in__7__6,&des_single__5_sbox_out__7__1,&des_single__5_sbox_out__7__2,&des_single__5_sbox_out__7__3,&des_single__5_sbox_out__7__4);
  input[24] = (des_single__5_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__5_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__5_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__5_sbox_out__7__4) ^ (input[28]);
  des_single__6_sbox_in__0__1 = (key[51]) ^ (input[6]);
  des_single__6_sbox_in__0__2 = (key[56]) ^ (input[56]);
  des_single__6_sbox_in__0__3 = (key[10]) ^ (input[48]);
  des_single__6_sbox_in__0__4 = (key[0]) ^ (input[40]);
  des_single__6_sbox_in__0__5 = (key[25]) ^ (input[32]);
  des_single__6_sbox_in__0__6 = (key[58]) ^ (input[24]);
  sbox__0(des_single__6_sbox_in__0__1,des_single__6_sbox_in__0__2,des_single__6_sbox_in__0__3,des_single__6_sbox_in__0__4,des_single__6_sbox_in__0__5,des_single__6_sbox_in__0__6,&des_single__6_sbox_out__0__1,&des_single__6_sbox_out__0__2,&des_single__6_sbox_out__0__3,&des_single__6_sbox_out__0__4);
  input[59] = (des_single__6_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__6_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__6_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__6_sbox_out__0__4) ^ (input[15]);
  des_single__6_sbox_in__1__1 = (key[9]) ^ (input[32]);
  des_single__6_sbox_in__1__2 = (key[33]) ^ (input[24]);
  des_single__6_sbox_in__1__3 = (key[43]) ^ (input[16]);
  des_single__6_sbox_in__1__4 = (key[50]) ^ (input[8]);
  des_single__6_sbox_in__1__5 = (key[24]) ^ (input[0]);
  des_single__6_sbox_in__1__6 = (key[18]) ^ (input[58]);
  sbox__1(des_single__6_sbox_in__1__1,des_single__6_sbox_in__1__2,des_single__6_sbox_in__1__3,des_single__6_sbox_in__1__4,des_single__6_sbox_in__1__5,des_single__6_sbox_in__1__6,&des_single__6_sbox_out__1__1,&des_single__6_sbox_out__1__2,&des_single__6_sbox_out__1__3,&des_single__6_sbox_out__1__4);
  input[27] = (des_single__6_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__6_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__6_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__6_sbox_out__1__4) ^ (input[53]);
  des_single__6_sbox_in__2__1 = (key[8]) ^ (input[0]);
  des_single__6_sbox_in__2__2 = (key[40]) ^ (input[58]);
  des_single__6_sbox_in__2__3 = (key[2]) ^ (input[50]);
  des_single__6_sbox_in__2__4 = (key[1]) ^ (input[42]);
  des_single__6_sbox_in__2__5 = (key[49]) ^ (input[34]);
  des_single__6_sbox_in__2__6 = (key[34]) ^ (input[26]);
  sbox__2(des_single__6_sbox_in__2__1,des_single__6_sbox_in__2__2,des_single__6_sbox_in__2__3,des_single__6_sbox_in__2__4,des_single__6_sbox_in__2__5,des_single__6_sbox_in__2__6,&des_single__6_sbox_out__2__1,&des_single__6_sbox_out__2__2,&des_single__6_sbox_out__2__3,&des_single__6_sbox_out__2__4);
  input[5] = (des_single__6_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__6_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__6_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__6_sbox_out__2__4) ^ (input[17]);
  des_single__6_sbox_in__3__1 = (key[35]) ^ (input[34]);
  des_single__6_sbox_in__3__2 = (key[42]) ^ (input[26]);
  des_single__6_sbox_in__3__3 = (key[41]) ^ (input[18]);
  des_single__6_sbox_in__3__4 = (key[32]) ^ (input[10]);
  des_single__6_sbox_in__3__5 = (key[59]) ^ (input[2]);
  des_single__6_sbox_in__3__6 = (key[17]) ^ (input[60]);
  sbox__3(des_single__6_sbox_in__3__1,des_single__6_sbox_in__3__2,des_single__6_sbox_in__3__3,des_single__6_sbox_in__3__4,des_single__6_sbox_in__3__5,des_single__6_sbox_in__3__6,&des_single__6_sbox_out__3__1,&des_single__6_sbox_out__3__2,&des_single__6_sbox_out__3__3,&des_single__6_sbox_out__3__4);
  input[55] = (des_single__6_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__6_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__6_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__6_sbox_out__3__4) ^ (input[57]);
  des_single__6_sbox_in__4__1 = (key[27]) ^ (input[2]);
  des_single__6_sbox_in__4__2 = (key[6]) ^ (input[60]);
  des_single__6_sbox_in__4__3 = (key[13]) ^ (input[52]);
  des_single__6_sbox_in__4__4 = (key[28]) ^ (input[44]);
  des_single__6_sbox_in__4__5 = (key[46]) ^ (input[36]);
  des_single__6_sbox_in__4__6 = (key[45]) ^ (input[28]);
  sbox__4(des_single__6_sbox_in__4__1,des_single__6_sbox_in__4__2,des_single__6_sbox_in__4__3,des_single__6_sbox_in__4__4,des_single__6_sbox_in__4__5,des_single__6_sbox_in__4__6,&des_single__6_sbox_out__4__1,&des_single__6_sbox_out__4__2,&des_single__6_sbox_out__4__3,&des_single__6_sbox_out__4__4);
  input[1] = (des_single__6_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__6_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__6_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__6_sbox_out__4__4) ^ (input[41]);
  des_single__6_sbox_in__5__1 = (key[21]) ^ (input[36]);
  des_single__6_sbox_in__5__2 = (key[4]) ^ (input[28]);
  des_single__6_sbox_in__5__3 = (key[14]) ^ (input[20]);
  des_single__6_sbox_in__5__4 = (key[62]) ^ (input[12]);
  des_single__6_sbox_in__5__5 = (key[60]) ^ (input[4]);
  des_single__6_sbox_in__5__6 = (key[38]) ^ (input[62]);
  sbox__5(des_single__6_sbox_in__5__1,des_single__6_sbox_in__5__2,des_single__6_sbox_in__5__3,des_single__6_sbox_in__5__4,des_single__6_sbox_in__5__5,des_single__6_sbox_in__5__6,&des_single__6_sbox_out__5__1,&des_single__6_sbox_out__5__2,&des_single__6_sbox_out__5__3,&des_single__6_sbox_out__5__4);
  input[33] = (des_single__6_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__6_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__6_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__6_sbox_out__5__4) ^ (input[45]);
  des_single__6_sbox_in__6__1 = (key[3]) ^ (input[4]);
  des_single__6_sbox_in__6__2 = (key[30]) ^ (input[62]);
  des_single__6_sbox_in__6__3 = (key[12]) ^ (input[54]);
  des_single__6_sbox_in__6__4 = (key[37]) ^ (input[46]);
  des_single__6_sbox_in__6__5 = (key[52]) ^ (input[38]);
  des_single__6_sbox_in__6__6 = (key[61]) ^ (input[30]);
  sbox__6(des_single__6_sbox_in__6__1,des_single__6_sbox_in__6__2,des_single__6_sbox_in__6__3,des_single__6_sbox_in__6__4,des_single__6_sbox_in__6__5,des_single__6_sbox_in__6__6,&des_single__6_sbox_out__6__1,&des_single__6_sbox_out__6__2,&des_single__6_sbox_out__6__3,&des_single__6_sbox_out__6__4);
  input[7] = (des_single__6_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__6_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__6_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__6_sbox_out__6__4) ^ (input[9]);
  des_single__6_sbox_in__7__1 = (key[54]) ^ (input[38]);
  des_single__6_sbox_in__7__2 = (key[19]) ^ (input[30]);
  des_single__6_sbox_in__7__3 = (key[22]) ^ (input[22]);
  des_single__6_sbox_in__7__4 = (key[36]) ^ (input[14]);
  des_single__6_sbox_in__7__5 = (key[29]) ^ (input[6]);
  des_single__6_sbox_in__7__6 = (key[5]) ^ (input[56]);
  sbox__7(des_single__6_sbox_in__7__1,des_single__6_sbox_in__7__2,des_single__6_sbox_in__7__3,des_single__6_sbox_in__7__4,des_single__6_sbox_in__7__5,des_single__6_sbox_in__7__6,&des_single__6_sbox_out__7__1,&des_single__6_sbox_out__7__2,&des_single__6_sbox_out__7__3,&des_single__6_sbox_out__7__4);
  input[25] = (des_single__6_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__6_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__6_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__6_sbox_out__7__4) ^ (input[29]);
  des_single__7_sbox_in__0__1 = (key[35]) ^ (input[7]);
  des_single__7_sbox_in__0__2 = (key[40]) ^ (input[57]);
  des_single__7_sbox_in__0__3 = (key[59]) ^ (input[49]);
  des_single__7_sbox_in__0__4 = (key[49]) ^ (input[41]);
  des_single__7_sbox_in__0__5 = (key[9]) ^ (input[33]);
  des_single__7_sbox_in__0__6 = (key[42]) ^ (input[25]);
  sbox__0(des_single__7_sbox_in__0__1,des_single__7_sbox_in__0__2,des_single__7_sbox_in__0__3,des_single__7_sbox_in__0__4,des_single__7_sbox_in__0__5,des_single__7_sbox_in__0__6,&des_single__7_sbox_out__0__1,&des_single__7_sbox_out__0__2,&des_single__7_sbox_out__0__3,&des_single__7_sbox_out__0__4);
  input[58] = (des_single__7_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__7_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__7_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__7_sbox_out__0__4) ^ (input[14]);
  des_single__7_sbox_in__1__1 = (key[58]) ^ (input[33]);
  des_single__7_sbox_in__1__2 = (key[17]) ^ (input[25]);
  des_single__7_sbox_in__1__3 = (key[56]) ^ (input[17]);
  des_single__7_sbox_in__1__4 = (key[34]) ^ (input[9]);
  des_single__7_sbox_in__1__5 = (key[8]) ^ (input[1]);
  des_single__7_sbox_in__1__6 = (key[2]) ^ (input[59]);
  sbox__1(des_single__7_sbox_in__1__1,des_single__7_sbox_in__1__2,des_single__7_sbox_in__1__3,des_single__7_sbox_in__1__4,des_single__7_sbox_in__1__5,des_single__7_sbox_in__1__6,&des_single__7_sbox_out__1__1,&des_single__7_sbox_out__1__2,&des_single__7_sbox_out__1__3,&des_single__7_sbox_out__1__4);
  input[26] = (des_single__7_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__7_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__7_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__7_sbox_out__1__4) ^ (input[52]);
  des_single__7_sbox_in__2__1 = (key[57]) ^ (input[1]);
  des_single__7_sbox_in__2__2 = (key[24]) ^ (input[59]);
  des_single__7_sbox_in__2__3 = (key[51]) ^ (input[51]);
  des_single__7_sbox_in__2__4 = (key[50]) ^ (input[43]);
  des_single__7_sbox_in__2__5 = (key[33]) ^ (input[35]);
  des_single__7_sbox_in__2__6 = (key[18]) ^ (input[27]);
  sbox__2(des_single__7_sbox_in__2__1,des_single__7_sbox_in__2__2,des_single__7_sbox_in__2__3,des_single__7_sbox_in__2__4,des_single__7_sbox_in__2__5,des_single__7_sbox_in__2__6,&des_single__7_sbox_out__2__1,&des_single__7_sbox_out__2__2,&des_single__7_sbox_out__2__3,&des_single__7_sbox_out__2__4);
  input[4] = (des_single__7_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__7_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__7_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__7_sbox_out__2__4) ^ (input[16]);
  des_single__7_sbox_in__3__1 = (key[48]) ^ (input[35]);
  des_single__7_sbox_in__3__2 = (key[26]) ^ (input[27]);
  des_single__7_sbox_in__3__3 = (key[25]) ^ (input[19]);
  des_single__7_sbox_in__3__4 = (key[16]) ^ (input[11]);
  des_single__7_sbox_in__3__5 = (key[43]) ^ (input[3]);
  des_single__7_sbox_in__3__6 = (key[1]) ^ (input[61]);
  sbox__3(des_single__7_sbox_in__3__1,des_single__7_sbox_in__3__2,des_single__7_sbox_in__3__3,des_single__7_sbox_in__3__4,des_single__7_sbox_in__3__5,des_single__7_sbox_in__3__6,&des_single__7_sbox_out__3__1,&des_single__7_sbox_out__3__2,&des_single__7_sbox_out__3__3,&des_single__7_sbox_out__3__4);
  input[54] = (des_single__7_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__7_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__7_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__7_sbox_out__3__4) ^ (input[56]);
  des_single__7_sbox_in__4__1 = (key[11]) ^ (input[3]);
  des_single__7_sbox_in__4__2 = (key[53]) ^ (input[61]);
  des_single__7_sbox_in__4__3 = (key[60]) ^ (input[53]);
  des_single__7_sbox_in__4__4 = (key[12]) ^ (input[45]);
  des_single__7_sbox_in__4__5 = (key[30]) ^ (input[37]);
  des_single__7_sbox_in__4__6 = (key[29]) ^ (input[29]);
  sbox__4(des_single__7_sbox_in__4__1,des_single__7_sbox_in__4__2,des_single__7_sbox_in__4__3,des_single__7_sbox_in__4__4,des_single__7_sbox_in__4__5,des_single__7_sbox_in__4__6,&des_single__7_sbox_out__4__1,&des_single__7_sbox_out__4__2,&des_single__7_sbox_out__4__3,&des_single__7_sbox_out__4__4);
  input[0] = (des_single__7_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__7_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__7_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__7_sbox_out__4__4) ^ (input[40]);
  des_single__7_sbox_in__5__1 = (key[5]) ^ (input[37]);
  des_single__7_sbox_in__5__2 = (key[19]) ^ (input[29]);
  des_single__7_sbox_in__5__3 = (key[61]) ^ (input[21]);
  des_single__7_sbox_in__5__4 = (key[46]) ^ (input[13]);
  des_single__7_sbox_in__5__5 = (key[44]) ^ (input[5]);
  des_single__7_sbox_in__5__6 = (key[22]) ^ (input[63]);
  sbox__5(des_single__7_sbox_in__5__1,des_single__7_sbox_in__5__2,des_single__7_sbox_in__5__3,des_single__7_sbox_in__5__4,des_single__7_sbox_in__5__5,des_single__7_sbox_in__5__6,&des_single__7_sbox_out__5__1,&des_single__7_sbox_out__5__2,&des_single__7_sbox_out__5__3,&des_single__7_sbox_out__5__4);
  input[32] = (des_single__7_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__7_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__7_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__7_sbox_out__5__4) ^ (input[44]);
  des_single__7_sbox_in__6__1 = (key[54]) ^ (input[5]);
  des_single__7_sbox_in__6__2 = (key[14]) ^ (input[63]);
  des_single__7_sbox_in__6__3 = (key[27]) ^ (input[55]);
  des_single__7_sbox_in__6__4 = (key[21]) ^ (input[47]);
  des_single__7_sbox_in__6__5 = (key[36]) ^ (input[39]);
  des_single__7_sbox_in__6__6 = (key[45]) ^ (input[31]);
  sbox__6(des_single__7_sbox_in__6__1,des_single__7_sbox_in__6__2,des_single__7_sbox_in__6__3,des_single__7_sbox_in__6__4,des_single__7_sbox_in__6__5,des_single__7_sbox_in__6__6,&des_single__7_sbox_out__6__1,&des_single__7_sbox_out__6__2,&des_single__7_sbox_out__6__3,&des_single__7_sbox_out__6__4);
  input[6] = (des_single__7_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__7_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__7_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__7_sbox_out__6__4) ^ (input[8]);
  des_single__7_sbox_in__7__1 = (key[38]) ^ (input[39]);
  des_single__7_sbox_in__7__2 = (key[3]) ^ (input[31]);
  des_single__7_sbox_in__7__3 = (key[6]) ^ (input[23]);
  des_single__7_sbox_in__7__4 = (key[20]) ^ (input[15]);
  des_single__7_sbox_in__7__5 = (key[13]) ^ (input[7]);
  des_single__7_sbox_in__7__6 = (key[52]) ^ (input[57]);
  sbox__7(des_single__7_sbox_in__7__1,des_single__7_sbox_in__7__2,des_single__7_sbox_in__7__3,des_single__7_sbox_in__7__4,des_single__7_sbox_in__7__5,des_single__7_sbox_in__7__6,&des_single__7_sbox_out__7__1,&des_single__7_sbox_out__7__2,&des_single__7_sbox_out__7__3,&des_single__7_sbox_out__7__4);
  input[24] = (des_single__7_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__7_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__7_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__7_sbox_out__7__4) ^ (input[28]);
  des_single__8_sbox_in__0__1 = (key[56]) ^ (input[6]);
  des_single__8_sbox_in__0__2 = (key[32]) ^ (input[56]);
  des_single__8_sbox_in__0__3 = (key[51]) ^ (input[48]);
  des_single__8_sbox_in__0__4 = (key[41]) ^ (input[40]);
  des_single__8_sbox_in__0__5 = (key[1]) ^ (input[32]);
  des_single__8_sbox_in__0__6 = (key[34]) ^ (input[24]);
  sbox__0(des_single__8_sbox_in__0__1,des_single__8_sbox_in__0__2,des_single__8_sbox_in__0__3,des_single__8_sbox_in__0__4,des_single__8_sbox_in__0__5,des_single__8_sbox_in__0__6,&des_single__8_sbox_out__0__1,&des_single__8_sbox_out__0__2,&des_single__8_sbox_out__0__3,&des_single__8_sbox_out__0__4);
  input[59] = (des_single__8_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__8_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__8_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__8_sbox_out__0__4) ^ (input[15]);
  des_single__8_sbox_in__1__1 = (key[50]) ^ (input[32]);
  des_single__8_sbox_in__1__2 = (key[9]) ^ (input[24]);
  des_single__8_sbox_in__1__3 = (key[48]) ^ (input[16]);
  des_single__8_sbox_in__1__4 = (key[26]) ^ (input[8]);
  des_single__8_sbox_in__1__5 = (key[0]) ^ (input[0]);
  des_single__8_sbox_in__1__6 = (key[59]) ^ (input[58]);
  sbox__1(des_single__8_sbox_in__1__1,des_single__8_sbox_in__1__2,des_single__8_sbox_in__1__3,des_single__8_sbox_in__1__4,des_single__8_sbox_in__1__5,des_single__8_sbox_in__1__6,&des_single__8_sbox_out__1__1,&des_single__8_sbox_out__1__2,&des_single__8_sbox_out__1__3,&des_single__8_sbox_out__1__4);
  input[27] = (des_single__8_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__8_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__8_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__8_sbox_out__1__4) ^ (input[53]);
  des_single__8_sbox_in__2__1 = (key[49]) ^ (input[0]);
  des_single__8_sbox_in__2__2 = (key[16]) ^ (input[58]);
  des_single__8_sbox_in__2__3 = (key[43]) ^ (input[50]);
  des_single__8_sbox_in__2__4 = (key[42]) ^ (input[42]);
  des_single__8_sbox_in__2__5 = (key[25]) ^ (input[34]);
  des_single__8_sbox_in__2__6 = (key[10]) ^ (input[26]);
  sbox__2(des_single__8_sbox_in__2__1,des_single__8_sbox_in__2__2,des_single__8_sbox_in__2__3,des_single__8_sbox_in__2__4,des_single__8_sbox_in__2__5,des_single__8_sbox_in__2__6,&des_single__8_sbox_out__2__1,&des_single__8_sbox_out__2__2,&des_single__8_sbox_out__2__3,&des_single__8_sbox_out__2__4);
  input[5] = (des_single__8_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__8_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__8_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__8_sbox_out__2__4) ^ (input[17]);
  des_single__8_sbox_in__3__1 = (key[40]) ^ (input[34]);
  des_single__8_sbox_in__3__2 = (key[18]) ^ (input[26]);
  des_single__8_sbox_in__3__3 = (key[17]) ^ (input[18]);
  des_single__8_sbox_in__3__4 = (key[8]) ^ (input[10]);
  des_single__8_sbox_in__3__5 = (key[35]) ^ (input[2]);
  des_single__8_sbox_in__3__6 = (key[58]) ^ (input[60]);
  sbox__3(des_single__8_sbox_in__3__1,des_single__8_sbox_in__3__2,des_single__8_sbox_in__3__3,des_single__8_sbox_in__3__4,des_single__8_sbox_in__3__5,des_single__8_sbox_in__3__6,&des_single__8_sbox_out__3__1,&des_single__8_sbox_out__3__2,&des_single__8_sbox_out__3__3,&des_single__8_sbox_out__3__4);
  input[55] = (des_single__8_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__8_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__8_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__8_sbox_out__3__4) ^ (input[57]);
  des_single__8_sbox_in__4__1 = (key[3]) ^ (input[2]);
  des_single__8_sbox_in__4__2 = (key[45]) ^ (input[60]);
  des_single__8_sbox_in__4__3 = (key[52]) ^ (input[52]);
  des_single__8_sbox_in__4__4 = (key[4]) ^ (input[44]);
  des_single__8_sbox_in__4__5 = (key[22]) ^ (input[36]);
  des_single__8_sbox_in__4__6 = (key[21]) ^ (input[28]);
  sbox__4(des_single__8_sbox_in__4__1,des_single__8_sbox_in__4__2,des_single__8_sbox_in__4__3,des_single__8_sbox_in__4__4,des_single__8_sbox_in__4__5,des_single__8_sbox_in__4__6,&des_single__8_sbox_out__4__1,&des_single__8_sbox_out__4__2,&des_single__8_sbox_out__4__3,&des_single__8_sbox_out__4__4);
  input[1] = (des_single__8_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__8_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__8_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__8_sbox_out__4__4) ^ (input[41]);
  des_single__8_sbox_in__5__1 = (key[60]) ^ (input[36]);
  des_single__8_sbox_in__5__2 = (key[11]) ^ (input[28]);
  des_single__8_sbox_in__5__3 = (key[53]) ^ (input[20]);
  des_single__8_sbox_in__5__4 = (key[38]) ^ (input[12]);
  des_single__8_sbox_in__5__5 = (key[36]) ^ (input[4]);
  des_single__8_sbox_in__5__6 = (key[14]) ^ (input[62]);
  sbox__5(des_single__8_sbox_in__5__1,des_single__8_sbox_in__5__2,des_single__8_sbox_in__5__3,des_single__8_sbox_in__5__4,des_single__8_sbox_in__5__5,des_single__8_sbox_in__5__6,&des_single__8_sbox_out__5__1,&des_single__8_sbox_out__5__2,&des_single__8_sbox_out__5__3,&des_single__8_sbox_out__5__4);
  input[33] = (des_single__8_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__8_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__8_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__8_sbox_out__5__4) ^ (input[45]);
  des_single__8_sbox_in__6__1 = (key[46]) ^ (input[4]);
  des_single__8_sbox_in__6__2 = (key[6]) ^ (input[62]);
  des_single__8_sbox_in__6__3 = (key[19]) ^ (input[54]);
  des_single__8_sbox_in__6__4 = (key[13]) ^ (input[46]);
  des_single__8_sbox_in__6__5 = (key[28]) ^ (input[38]);
  des_single__8_sbox_in__6__6 = (key[37]) ^ (input[30]);
  sbox__6(des_single__8_sbox_in__6__1,des_single__8_sbox_in__6__2,des_single__8_sbox_in__6__3,des_single__8_sbox_in__6__4,des_single__8_sbox_in__6__5,des_single__8_sbox_in__6__6,&des_single__8_sbox_out__6__1,&des_single__8_sbox_out__6__2,&des_single__8_sbox_out__6__3,&des_single__8_sbox_out__6__4);
  input[7] = (des_single__8_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__8_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__8_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__8_sbox_out__6__4) ^ (input[9]);
  des_single__8_sbox_in__7__1 = (key[30]) ^ (input[38]);
  des_single__8_sbox_in__7__2 = (key[62]) ^ (input[30]);
  des_single__8_sbox_in__7__3 = (key[61]) ^ (input[22]);
  des_single__8_sbox_in__7__4 = (key[12]) ^ (input[14]);
  des_single__8_sbox_in__7__5 = (key[5]) ^ (input[6]);
  des_single__8_sbox_in__7__6 = (key[44]) ^ (input[56]);
  sbox__7(des_single__8_sbox_in__7__1,des_single__8_sbox_in__7__2,des_single__8_sbox_in__7__3,des_single__8_sbox_in__7__4,des_single__8_sbox_in__7__5,des_single__8_sbox_in__7__6,&des_single__8_sbox_out__7__1,&des_single__8_sbox_out__7__2,&des_single__8_sbox_out__7__3,&des_single__8_sbox_out__7__4);
  input[25] = (des_single__8_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__8_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__8_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__8_sbox_out__7__4) ^ (input[29]);
  des_single__9_sbox_in__0__1 = (key[40]) ^ (input[7]);
  des_single__9_sbox_in__0__2 = (key[16]) ^ (input[57]);
  des_single__9_sbox_in__0__3 = (key[35]) ^ (input[49]);
  des_single__9_sbox_in__0__4 = (key[25]) ^ (input[41]);
  des_single__9_sbox_in__0__5 = (key[50]) ^ (input[33]);
  des_single__9_sbox_in__0__6 = (key[18]) ^ (input[25]);
  sbox__0(des_single__9_sbox_in__0__1,des_single__9_sbox_in__0__2,des_single__9_sbox_in__0__3,des_single__9_sbox_in__0__4,des_single__9_sbox_in__0__5,des_single__9_sbox_in__0__6,&des_single__9_sbox_out__0__1,&des_single__9_sbox_out__0__2,&des_single__9_sbox_out__0__3,&des_single__9_sbox_out__0__4);
  input[58] = (des_single__9_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__9_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__9_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__9_sbox_out__0__4) ^ (input[14]);
  des_single__9_sbox_in__1__1 = (key[34]) ^ (input[33]);
  des_single__9_sbox_in__1__2 = (key[58]) ^ (input[25]);
  des_single__9_sbox_in__1__3 = (key[32]) ^ (input[17]);
  des_single__9_sbox_in__1__4 = (key[10]) ^ (input[9]);
  des_single__9_sbox_in__1__5 = (key[49]) ^ (input[1]);
  des_single__9_sbox_in__1__6 = (key[43]) ^ (input[59]);
  sbox__1(des_single__9_sbox_in__1__1,des_single__9_sbox_in__1__2,des_single__9_sbox_in__1__3,des_single__9_sbox_in__1__4,des_single__9_sbox_in__1__5,des_single__9_sbox_in__1__6,&des_single__9_sbox_out__1__1,&des_single__9_sbox_out__1__2,&des_single__9_sbox_out__1__3,&des_single__9_sbox_out__1__4);
  input[26] = (des_single__9_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__9_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__9_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__9_sbox_out__1__4) ^ (input[52]);
  des_single__9_sbox_in__2__1 = (key[33]) ^ (input[1]);
  des_single__9_sbox_in__2__2 = (key[0]) ^ (input[59]);
  des_single__9_sbox_in__2__3 = (key[56]) ^ (input[51]);
  des_single__9_sbox_in__2__4 = (key[26]) ^ (input[43]);
  des_single__9_sbox_in__2__5 = (key[9]) ^ (input[35]);
  des_single__9_sbox_in__2__6 = (key[59]) ^ (input[27]);
  sbox__2(des_single__9_sbox_in__2__1,des_single__9_sbox_in__2__2,des_single__9_sbox_in__2__3,des_single__9_sbox_in__2__4,des_single__9_sbox_in__2__5,des_single__9_sbox_in__2__6,&des_single__9_sbox_out__2__1,&des_single__9_sbox_out__2__2,&des_single__9_sbox_out__2__3,&des_single__9_sbox_out__2__4);
  input[4] = (des_single__9_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__9_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__9_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__9_sbox_out__2__4) ^ (input[16]);
  des_single__9_sbox_in__3__1 = (key[24]) ^ (input[35]);
  des_single__9_sbox_in__3__2 = (key[2]) ^ (input[27]);
  des_single__9_sbox_in__3__3 = (key[1]) ^ (input[19]);
  des_single__9_sbox_in__3__4 = (key[57]) ^ (input[11]);
  des_single__9_sbox_in__3__5 = (key[48]) ^ (input[3]);
  des_single__9_sbox_in__3__6 = (key[42]) ^ (input[61]);
  sbox__3(des_single__9_sbox_in__3__1,des_single__9_sbox_in__3__2,des_single__9_sbox_in__3__3,des_single__9_sbox_in__3__4,des_single__9_sbox_in__3__5,des_single__9_sbox_in__3__6,&des_single__9_sbox_out__3__1,&des_single__9_sbox_out__3__2,&des_single__9_sbox_out__3__3,&des_single__9_sbox_out__3__4);
  input[54] = (des_single__9_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__9_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__9_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__9_sbox_out__3__4) ^ (input[56]);
  des_single__9_sbox_in__4__1 = (key[54]) ^ (input[3]);
  des_single__9_sbox_in__4__2 = (key[29]) ^ (input[61]);
  des_single__9_sbox_in__4__3 = (key[36]) ^ (input[53]);
  des_single__9_sbox_in__4__4 = (key[19]) ^ (input[45]);
  des_single__9_sbox_in__4__5 = (key[6]) ^ (input[37]);
  des_single__9_sbox_in__4__6 = (key[5]) ^ (input[29]);
  sbox__4(des_single__9_sbox_in__4__1,des_single__9_sbox_in__4__2,des_single__9_sbox_in__4__3,des_single__9_sbox_in__4__4,des_single__9_sbox_in__4__5,des_single__9_sbox_in__4__6,&des_single__9_sbox_out__4__1,&des_single__9_sbox_out__4__2,&des_single__9_sbox_out__4__3,&des_single__9_sbox_out__4__4);
  input[0] = (des_single__9_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__9_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__9_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__9_sbox_out__4__4) ^ (input[40]);
  des_single__9_sbox_in__5__1 = (key[44]) ^ (input[37]);
  des_single__9_sbox_in__5__2 = (key[62]) ^ (input[29]);
  des_single__9_sbox_in__5__3 = (key[37]) ^ (input[21]);
  des_single__9_sbox_in__5__4 = (key[22]) ^ (input[13]);
  des_single__9_sbox_in__5__5 = (key[20]) ^ (input[5]);
  des_single__9_sbox_in__5__6 = (key[61]) ^ (input[63]);
  sbox__5(des_single__9_sbox_in__5__1,des_single__9_sbox_in__5__2,des_single__9_sbox_in__5__3,des_single__9_sbox_in__5__4,des_single__9_sbox_in__5__5,des_single__9_sbox_in__5__6,&des_single__9_sbox_out__5__1,&des_single__9_sbox_out__5__2,&des_single__9_sbox_out__5__3,&des_single__9_sbox_out__5__4);
  input[32] = (des_single__9_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__9_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__9_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__9_sbox_out__5__4) ^ (input[44]);
  des_single__9_sbox_in__6__1 = (key[30]) ^ (input[5]);
  des_single__9_sbox_in__6__2 = (key[53]) ^ (input[63]);
  des_single__9_sbox_in__6__3 = (key[3]) ^ (input[55]);
  des_single__9_sbox_in__6__4 = (key[60]) ^ (input[47]);
  des_single__9_sbox_in__6__5 = (key[12]) ^ (input[39]);
  des_single__9_sbox_in__6__6 = (key[21]) ^ (input[31]);
  sbox__6(des_single__9_sbox_in__6__1,des_single__9_sbox_in__6__2,des_single__9_sbox_in__6__3,des_single__9_sbox_in__6__4,des_single__9_sbox_in__6__5,des_single__9_sbox_in__6__6,&des_single__9_sbox_out__6__1,&des_single__9_sbox_out__6__2,&des_single__9_sbox_out__6__3,&des_single__9_sbox_out__6__4);
  input[6] = (des_single__9_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__9_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__9_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__9_sbox_out__6__4) ^ (input[8]);
  des_single__9_sbox_in__7__1 = (key[14]) ^ (input[39]);
  des_single__9_sbox_in__7__2 = (key[46]) ^ (input[31]);
  des_single__9_sbox_in__7__3 = (key[45]) ^ (input[23]);
  des_single__9_sbox_in__7__4 = (key[27]) ^ (input[15]);
  des_single__9_sbox_in__7__5 = (key[52]) ^ (input[7]);
  des_single__9_sbox_in__7__6 = (key[28]) ^ (input[57]);
  sbox__7(des_single__9_sbox_in__7__1,des_single__9_sbox_in__7__2,des_single__9_sbox_in__7__3,des_single__9_sbox_in__7__4,des_single__9_sbox_in__7__5,des_single__9_sbox_in__7__6,&des_single__9_sbox_out__7__1,&des_single__9_sbox_out__7__2,&des_single__9_sbox_out__7__3,&des_single__9_sbox_out__7__4);
  input[24] = (des_single__9_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__9_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__9_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__9_sbox_out__7__4) ^ (input[28]);
  des_single__10_sbox_in__0__1 = (key[24]) ^ (input[6]);
  des_single__10_sbox_in__0__2 = (key[0]) ^ (input[56]);
  des_single__10_sbox_in__0__3 = (key[48]) ^ (input[48]);
  des_single__10_sbox_in__0__4 = (key[9]) ^ (input[40]);
  des_single__10_sbox_in__0__5 = (key[34]) ^ (input[32]);
  des_single__10_sbox_in__0__6 = (key[2]) ^ (input[24]);
  sbox__0(des_single__10_sbox_in__0__1,des_single__10_sbox_in__0__2,des_single__10_sbox_in__0__3,des_single__10_sbox_in__0__4,des_single__10_sbox_in__0__5,des_single__10_sbox_in__0__6,&des_single__10_sbox_out__0__1,&des_single__10_sbox_out__0__2,&des_single__10_sbox_out__0__3,&des_single__10_sbox_out__0__4);
  input[59] = (des_single__10_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__10_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__10_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__10_sbox_out__0__4) ^ (input[15]);
  des_single__10_sbox_in__1__1 = (key[18]) ^ (input[32]);
  des_single__10_sbox_in__1__2 = (key[42]) ^ (input[24]);
  des_single__10_sbox_in__1__3 = (key[16]) ^ (input[16]);
  des_single__10_sbox_in__1__4 = (key[59]) ^ (input[8]);
  des_single__10_sbox_in__1__5 = (key[33]) ^ (input[0]);
  des_single__10_sbox_in__1__6 = (key[56]) ^ (input[58]);
  sbox__1(des_single__10_sbox_in__1__1,des_single__10_sbox_in__1__2,des_single__10_sbox_in__1__3,des_single__10_sbox_in__1__4,des_single__10_sbox_in__1__5,des_single__10_sbox_in__1__6,&des_single__10_sbox_out__1__1,&des_single__10_sbox_out__1__2,&des_single__10_sbox_out__1__3,&des_single__10_sbox_out__1__4);
  input[27] = (des_single__10_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__10_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__10_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__10_sbox_out__1__4) ^ (input[53]);
  des_single__10_sbox_in__2__1 = (key[17]) ^ (input[0]);
  des_single__10_sbox_in__2__2 = (key[49]) ^ (input[58]);
  des_single__10_sbox_in__2__3 = (key[40]) ^ (input[50]);
  des_single__10_sbox_in__2__4 = (key[10]) ^ (input[42]);
  des_single__10_sbox_in__2__5 = (key[58]) ^ (input[34]);
  des_single__10_sbox_in__2__6 = (key[43]) ^ (input[26]);
  sbox__2(des_single__10_sbox_in__2__1,des_single__10_sbox_in__2__2,des_single__10_sbox_in__2__3,des_single__10_sbox_in__2__4,des_single__10_sbox_in__2__5,des_single__10_sbox_in__2__6,&des_single__10_sbox_out__2__1,&des_single__10_sbox_out__2__2,&des_single__10_sbox_out__2__3,&des_single__10_sbox_out__2__4);
  input[5] = (des_single__10_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__10_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__10_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__10_sbox_out__2__4) ^ (input[17]);
  des_single__10_sbox_in__3__1 = (key[8]) ^ (input[34]);
  des_single__10_sbox_in__3__2 = (key[51]) ^ (input[26]);
  des_single__10_sbox_in__3__3 = (key[50]) ^ (input[18]);
  des_single__10_sbox_in__3__4 = (key[41]) ^ (input[10]);
  des_single__10_sbox_in__3__5 = (key[32]) ^ (input[2]);
  des_single__10_sbox_in__3__6 = (key[26]) ^ (input[60]);
  sbox__3(des_single__10_sbox_in__3__1,des_single__10_sbox_in__3__2,des_single__10_sbox_in__3__3,des_single__10_sbox_in__3__4,des_single__10_sbox_in__3__5,des_single__10_sbox_in__3__6,&des_single__10_sbox_out__3__1,&des_single__10_sbox_out__3__2,&des_single__10_sbox_out__3__3,&des_single__10_sbox_out__3__4);
  input[55] = (des_single__10_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__10_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__10_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__10_sbox_out__3__4) ^ (input[57]);
  des_single__10_sbox_in__4__1 = (key[38]) ^ (input[2]);
  des_single__10_sbox_in__4__2 = (key[13]) ^ (input[60]);
  des_single__10_sbox_in__4__3 = (key[20]) ^ (input[52]);
  des_single__10_sbox_in__4__4 = (key[3]) ^ (input[44]);
  des_single__10_sbox_in__4__5 = (key[53]) ^ (input[36]);
  des_single__10_sbox_in__4__6 = (key[52]) ^ (input[28]);
  sbox__4(des_single__10_sbox_in__4__1,des_single__10_sbox_in__4__2,des_single__10_sbox_in__4__3,des_single__10_sbox_in__4__4,des_single__10_sbox_in__4__5,des_single__10_sbox_in__4__6,&des_single__10_sbox_out__4__1,&des_single__10_sbox_out__4__2,&des_single__10_sbox_out__4__3,&des_single__10_sbox_out__4__4);
  input[1] = (des_single__10_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__10_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__10_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__10_sbox_out__4__4) ^ (input[41]);
  des_single__10_sbox_in__5__1 = (key[28]) ^ (input[36]);
  des_single__10_sbox_in__5__2 = (key[46]) ^ (input[28]);
  des_single__10_sbox_in__5__3 = (key[21]) ^ (input[20]);
  des_single__10_sbox_in__5__4 = (key[6]) ^ (input[12]);
  des_single__10_sbox_in__5__5 = (key[4]) ^ (input[4]);
  des_single__10_sbox_in__5__6 = (key[45]) ^ (input[62]);
  sbox__5(des_single__10_sbox_in__5__1,des_single__10_sbox_in__5__2,des_single__10_sbox_in__5__3,des_single__10_sbox_in__5__4,des_single__10_sbox_in__5__5,des_single__10_sbox_in__5__6,&des_single__10_sbox_out__5__1,&des_single__10_sbox_out__5__2,&des_single__10_sbox_out__5__3,&des_single__10_sbox_out__5__4);
  input[33] = (des_single__10_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__10_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__10_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__10_sbox_out__5__4) ^ (input[45]);
  des_single__10_sbox_in__6__1 = (key[14]) ^ (input[4]);
  des_single__10_sbox_in__6__2 = (key[37]) ^ (input[62]);
  des_single__10_sbox_in__6__3 = (key[54]) ^ (input[54]);
  des_single__10_sbox_in__6__4 = (key[44]) ^ (input[46]);
  des_single__10_sbox_in__6__5 = (key[27]) ^ (input[38]);
  des_single__10_sbox_in__6__6 = (key[5]) ^ (input[30]);
  sbox__6(des_single__10_sbox_in__6__1,des_single__10_sbox_in__6__2,des_single__10_sbox_in__6__3,des_single__10_sbox_in__6__4,des_single__10_sbox_in__6__5,des_single__10_sbox_in__6__6,&des_single__10_sbox_out__6__1,&des_single__10_sbox_out__6__2,&des_single__10_sbox_out__6__3,&des_single__10_sbox_out__6__4);
  input[7] = (des_single__10_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__10_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__10_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__10_sbox_out__6__4) ^ (input[9]);
  des_single__10_sbox_in__7__1 = (key[61]) ^ (input[38]);
  des_single__10_sbox_in__7__2 = (key[30]) ^ (input[30]);
  des_single__10_sbox_in__7__3 = (key[29]) ^ (input[22]);
  des_single__10_sbox_in__7__4 = (key[11]) ^ (input[14]);
  des_single__10_sbox_in__7__5 = (key[36]) ^ (input[6]);
  des_single__10_sbox_in__7__6 = (key[12]) ^ (input[56]);
  sbox__7(des_single__10_sbox_in__7__1,des_single__10_sbox_in__7__2,des_single__10_sbox_in__7__3,des_single__10_sbox_in__7__4,des_single__10_sbox_in__7__5,des_single__10_sbox_in__7__6,&des_single__10_sbox_out__7__1,&des_single__10_sbox_out__7__2,&des_single__10_sbox_out__7__3,&des_single__10_sbox_out__7__4);
  input[25] = (des_single__10_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__10_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__10_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__10_sbox_out__7__4) ^ (input[29]);
  des_single__11_sbox_in__0__1 = (key[8]) ^ (input[7]);
  des_single__11_sbox_in__0__2 = (key[49]) ^ (input[57]);
  des_single__11_sbox_in__0__3 = (key[32]) ^ (input[49]);
  des_single__11_sbox_in__0__4 = (key[58]) ^ (input[41]);
  des_single__11_sbox_in__0__5 = (key[18]) ^ (input[33]);
  des_single__11_sbox_in__0__6 = (key[51]) ^ (input[25]);
  sbox__0(des_single__11_sbox_in__0__1,des_single__11_sbox_in__0__2,des_single__11_sbox_in__0__3,des_single__11_sbox_in__0__4,des_single__11_sbox_in__0__5,des_single__11_sbox_in__0__6,&des_single__11_sbox_out__0__1,&des_single__11_sbox_out__0__2,&des_single__11_sbox_out__0__3,&des_single__11_sbox_out__0__4);
  input[58] = (des_single__11_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__11_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__11_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__11_sbox_out__0__4) ^ (input[14]);
  des_single__11_sbox_in__1__1 = (key[2]) ^ (input[33]);
  des_single__11_sbox_in__1__2 = (key[26]) ^ (input[25]);
  des_single__11_sbox_in__1__3 = (key[0]) ^ (input[17]);
  des_single__11_sbox_in__1__4 = (key[43]) ^ (input[9]);
  des_single__11_sbox_in__1__5 = (key[17]) ^ (input[1]);
  des_single__11_sbox_in__1__6 = (key[40]) ^ (input[59]);
  sbox__1(des_single__11_sbox_in__1__1,des_single__11_sbox_in__1__2,des_single__11_sbox_in__1__3,des_single__11_sbox_in__1__4,des_single__11_sbox_in__1__5,des_single__11_sbox_in__1__6,&des_single__11_sbox_out__1__1,&des_single__11_sbox_out__1__2,&des_single__11_sbox_out__1__3,&des_single__11_sbox_out__1__4);
  input[26] = (des_single__11_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__11_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__11_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__11_sbox_out__1__4) ^ (input[52]);
  des_single__11_sbox_in__2__1 = (key[1]) ^ (input[1]);
  des_single__11_sbox_in__2__2 = (key[33]) ^ (input[59]);
  des_single__11_sbox_in__2__3 = (key[24]) ^ (input[51]);
  des_single__11_sbox_in__2__4 = (key[59]) ^ (input[43]);
  des_single__11_sbox_in__2__5 = (key[42]) ^ (input[35]);
  des_single__11_sbox_in__2__6 = (key[56]) ^ (input[27]);
  sbox__2(des_single__11_sbox_in__2__1,des_single__11_sbox_in__2__2,des_single__11_sbox_in__2__3,des_single__11_sbox_in__2__4,des_single__11_sbox_in__2__5,des_single__11_sbox_in__2__6,&des_single__11_sbox_out__2__1,&des_single__11_sbox_out__2__2,&des_single__11_sbox_out__2__3,&des_single__11_sbox_out__2__4);
  input[4] = (des_single__11_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__11_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__11_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__11_sbox_out__2__4) ^ (input[16]);
  des_single__11_sbox_in__3__1 = (key[57]) ^ (input[35]);
  des_single__11_sbox_in__3__2 = (key[35]) ^ (input[27]);
  des_single__11_sbox_in__3__3 = (key[34]) ^ (input[19]);
  des_single__11_sbox_in__3__4 = (key[25]) ^ (input[11]);
  des_single__11_sbox_in__3__5 = (key[16]) ^ (input[3]);
  des_single__11_sbox_in__3__6 = (key[10]) ^ (input[61]);
  sbox__3(des_single__11_sbox_in__3__1,des_single__11_sbox_in__3__2,des_single__11_sbox_in__3__3,des_single__11_sbox_in__3__4,des_single__11_sbox_in__3__5,des_single__11_sbox_in__3__6,&des_single__11_sbox_out__3__1,&des_single__11_sbox_out__3__2,&des_single__11_sbox_out__3__3,&des_single__11_sbox_out__3__4);
  input[54] = (des_single__11_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__11_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__11_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__11_sbox_out__3__4) ^ (input[56]);
  des_single__11_sbox_in__4__1 = (key[22]) ^ (input[3]);
  des_single__11_sbox_in__4__2 = (key[60]) ^ (input[61]);
  des_single__11_sbox_in__4__3 = (key[4]) ^ (input[53]);
  des_single__11_sbox_in__4__4 = (key[54]) ^ (input[45]);
  des_single__11_sbox_in__4__5 = (key[37]) ^ (input[37]);
  des_single__11_sbox_in__4__6 = (key[36]) ^ (input[29]);
  sbox__4(des_single__11_sbox_in__4__1,des_single__11_sbox_in__4__2,des_single__11_sbox_in__4__3,des_single__11_sbox_in__4__4,des_single__11_sbox_in__4__5,des_single__11_sbox_in__4__6,&des_single__11_sbox_out__4__1,&des_single__11_sbox_out__4__2,&des_single__11_sbox_out__4__3,&des_single__11_sbox_out__4__4);
  input[0] = (des_single__11_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__11_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__11_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__11_sbox_out__4__4) ^ (input[40]);
  des_single__11_sbox_in__5__1 = (key[12]) ^ (input[37]);
  des_single__11_sbox_in__5__2 = (key[30]) ^ (input[29]);
  des_single__11_sbox_in__5__3 = (key[5]) ^ (input[21]);
  des_single__11_sbox_in__5__4 = (key[53]) ^ (input[13]);
  des_single__11_sbox_in__5__5 = (key[19]) ^ (input[5]);
  des_single__11_sbox_in__5__6 = (key[29]) ^ (input[63]);
  sbox__5(des_single__11_sbox_in__5__1,des_single__11_sbox_in__5__2,des_single__11_sbox_in__5__3,des_single__11_sbox_in__5__4,des_single__11_sbox_in__5__5,des_single__11_sbox_in__5__6,&des_single__11_sbox_out__5__1,&des_single__11_sbox_out__5__2,&des_single__11_sbox_out__5__3,&des_single__11_sbox_out__5__4);
  input[32] = (des_single__11_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__11_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__11_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__11_sbox_out__5__4) ^ (input[44]);
  des_single__11_sbox_in__6__1 = (key[61]) ^ (input[5]);
  des_single__11_sbox_in__6__2 = (key[21]) ^ (input[63]);
  des_single__11_sbox_in__6__3 = (key[38]) ^ (input[55]);
  des_single__11_sbox_in__6__4 = (key[28]) ^ (input[47]);
  des_single__11_sbox_in__6__5 = (key[11]) ^ (input[39]);
  des_single__11_sbox_in__6__6 = (key[52]) ^ (input[31]);
  sbox__6(des_single__11_sbox_in__6__1,des_single__11_sbox_in__6__2,des_single__11_sbox_in__6__3,des_single__11_sbox_in__6__4,des_single__11_sbox_in__6__5,des_single__11_sbox_in__6__6,&des_single__11_sbox_out__6__1,&des_single__11_sbox_out__6__2,&des_single__11_sbox_out__6__3,&des_single__11_sbox_out__6__4);
  input[6] = (des_single__11_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__11_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__11_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__11_sbox_out__6__4) ^ (input[8]);
  des_single__11_sbox_in__7__1 = (key[45]) ^ (input[39]);
  des_single__11_sbox_in__7__2 = (key[14]) ^ (input[31]);
  des_single__11_sbox_in__7__3 = (key[13]) ^ (input[23]);
  des_single__11_sbox_in__7__4 = (key[62]) ^ (input[15]);
  des_single__11_sbox_in__7__5 = (key[20]) ^ (input[7]);
  des_single__11_sbox_in__7__6 = (key[27]) ^ (input[57]);
  sbox__7(des_single__11_sbox_in__7__1,des_single__11_sbox_in__7__2,des_single__11_sbox_in__7__3,des_single__11_sbox_in__7__4,des_single__11_sbox_in__7__5,des_single__11_sbox_in__7__6,&des_single__11_sbox_out__7__1,&des_single__11_sbox_out__7__2,&des_single__11_sbox_out__7__3,&des_single__11_sbox_out__7__4);
  input[24] = (des_single__11_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__11_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__11_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__11_sbox_out__7__4) ^ (input[28]);
  des_single__12_sbox_in__0__1 = (key[57]) ^ (input[6]);
  des_single__12_sbox_in__0__2 = (key[33]) ^ (input[56]);
  des_single__12_sbox_in__0__3 = (key[16]) ^ (input[48]);
  des_single__12_sbox_in__0__4 = (key[42]) ^ (input[40]);
  des_single__12_sbox_in__0__5 = (key[2]) ^ (input[32]);
  des_single__12_sbox_in__0__6 = (key[35]) ^ (input[24]);
  sbox__0(des_single__12_sbox_in__0__1,des_single__12_sbox_in__0__2,des_single__12_sbox_in__0__3,des_single__12_sbox_in__0__4,des_single__12_sbox_in__0__5,des_single__12_sbox_in__0__6,&des_single__12_sbox_out__0__1,&des_single__12_sbox_out__0__2,&des_single__12_sbox_out__0__3,&des_single__12_sbox_out__0__4);
  input[59] = (des_single__12_sbox_out__0__1) ^ (input[59]);
  input[61] = (des_single__12_sbox_out__0__2) ^ (input[61]);
  input[13] = (des_single__12_sbox_out__0__3) ^ (input[13]);
  input[15] = (des_single__12_sbox_out__0__4) ^ (input[15]);
  des_single__12_sbox_in__1__1 = (key[51]) ^ (input[32]);
  des_single__12_sbox_in__1__2 = (key[10]) ^ (input[24]);
  des_single__12_sbox_in__1__3 = (key[49]) ^ (input[16]);
  des_single__12_sbox_in__1__4 = (key[56]) ^ (input[8]);
  des_single__12_sbox_in__1__5 = (key[1]) ^ (input[0]);
  des_single__12_sbox_in__1__6 = (key[24]) ^ (input[58]);
  sbox__1(des_single__12_sbox_in__1__1,des_single__12_sbox_in__1__2,des_single__12_sbox_in__1__3,des_single__12_sbox_in__1__4,des_single__12_sbox_in__1__5,des_single__12_sbox_in__1__6,&des_single__12_sbox_out__1__1,&des_single__12_sbox_out__1__2,&des_single__12_sbox_out__1__3,&des_single__12_sbox_out__1__4);
  input[27] = (des_single__12_sbox_out__1__1) ^ (input[27]);
  input[39] = (des_single__12_sbox_out__1__2) ^ (input[39]);
  input[49] = (des_single__12_sbox_out__1__3) ^ (input[49]);
  input[53] = (des_single__12_sbox_out__1__4) ^ (input[53]);
  des_single__12_sbox_in__2__1 = (key[50]) ^ (input[0]);
  des_single__12_sbox_in__2__2 = (key[17]) ^ (input[58]);
  des_single__12_sbox_in__2__3 = (key[8]) ^ (input[50]);
  des_single__12_sbox_in__2__4 = (key[43]) ^ (input[42]);
  des_single__12_sbox_in__2__5 = (key[26]) ^ (input[34]);
  des_single__12_sbox_in__2__6 = (key[40]) ^ (input[26]);
  sbox__2(des_single__12_sbox_in__2__1,des_single__12_sbox_in__2__2,des_single__12_sbox_in__2__3,des_single__12_sbox_in__2__4,des_single__12_sbox_in__2__5,des_single__12_sbox_in__2__6,&des_single__12_sbox_out__2__1,&des_single__12_sbox_out__2__2,&des_single__12_sbox_out__2__3,&des_single__12_sbox_out__2__4);
  input[5] = (des_single__12_sbox_out__2__1) ^ (input[5]);
  input[3] = (des_single__12_sbox_out__2__2) ^ (input[3]);
  input[23] = (des_single__12_sbox_out__2__3) ^ (input[23]);
  input[17] = (des_single__12_sbox_out__2__4) ^ (input[17]);
  des_single__12_sbox_in__3__1 = (key[41]) ^ (input[34]);
  des_single__12_sbox_in__3__2 = (key[48]) ^ (input[26]);
  des_single__12_sbox_in__3__3 = (key[18]) ^ (input[18]);
  des_single__12_sbox_in__3__4 = (key[9]) ^ (input[10]);
  des_single__12_sbox_in__3__5 = (key[0]) ^ (input[2]);
  des_single__12_sbox_in__3__6 = (key[59]) ^ (input[60]);
  sbox__3(des_single__12_sbox_in__3__1,des_single__12_sbox_in__3__2,des_single__12_sbox_in__3__3,des_single__12_sbox_in__3__4,des_single__12_sbox_in__3__5,des_single__12_sbox_in__3__6,&des_single__12_sbox_out__3__1,&des_single__12_sbox_out__3__2,&des_single__12_sbox_out__3__3,&des_single__12_sbox_out__3__4);
  input[55] = (des_single__12_sbox_out__3__1) ^ (input[55]);
  input[37] = (des_single__12_sbox_out__3__2) ^ (input[37]);
  input[51] = (des_single__12_sbox_out__3__3) ^ (input[51]);
  input[57] = (des_single__12_sbox_out__3__4) ^ (input[57]);
  des_single__12_sbox_in__4__1 = (key[6]) ^ (input[2]);
  des_single__12_sbox_in__4__2 = (key[44]) ^ (input[60]);
  des_single__12_sbox_in__4__3 = (key[19]) ^ (input[52]);
  des_single__12_sbox_in__4__4 = (key[38]) ^ (input[44]);
  des_single__12_sbox_in__4__5 = (key[21]) ^ (input[36]);
  des_single__12_sbox_in__4__6 = (key[20]) ^ (input[28]);
  sbox__4(des_single__12_sbox_in__4__1,des_single__12_sbox_in__4__2,des_single__12_sbox_in__4__3,des_single__12_sbox_in__4__4,des_single__12_sbox_in__4__5,des_single__12_sbox_in__4__6,&des_single__12_sbox_out__4__1,&des_single__12_sbox_out__4__2,&des_single__12_sbox_out__4__3,&des_single__12_sbox_out__4__4);
  input[1] = (des_single__12_sbox_out__4__1) ^ (input[1]);
  input[19] = (des_single__12_sbox_out__4__2) ^ (input[19]);
  input[63] = (des_single__12_sbox_out__4__3) ^ (input[63]);
  input[41] = (des_single__12_sbox_out__4__4) ^ (input[41]);
  des_single__12_sbox_in__5__1 = (key[27]) ^ (input[36]);
  des_single__12_sbox_in__5__2 = (key[14]) ^ (input[28]);
  des_single__12_sbox_in__5__3 = (key[52]) ^ (input[20]);
  des_single__12_sbox_in__5__4 = (key[37]) ^ (input[12]);
  des_single__12_sbox_in__5__5 = (key[3]) ^ (input[4]);
  des_single__12_sbox_in__5__6 = (key[13]) ^ (input[62]);
  sbox__5(des_single__12_sbox_in__5__1,des_single__12_sbox_in__5__2,des_single__12_sbox_in__5__3,des_single__12_sbox_in__5__4,des_single__12_sbox_in__5__5,des_single__12_sbox_in__5__6,&des_single__12_sbox_out__5__1,&des_single__12_sbox_out__5__2,&des_single__12_sbox_out__5__3,&des_single__12_sbox_out__5__4);
  input[33] = (des_single__12_sbox_out__5__1) ^ (input[33]);
  input[31] = (des_single__12_sbox_out__5__2) ^ (input[31]);
  input[43] = (des_single__12_sbox_out__5__3) ^ (input[43]);
  input[45] = (des_single__12_sbox_out__5__4) ^ (input[45]);
  des_single__12_sbox_in__6__1 = (key[45]) ^ (input[4]);
  des_single__12_sbox_in__6__2 = (key[5]) ^ (input[62]);
  des_single__12_sbox_in__6__3 = (key[22]) ^ (input[54]);
  des_single__12_sbox_in__6__4 = (key[12]) ^ (input[46]);
  des_single__12_sbox_in__6__5 = (key[62]) ^ (input[38]);
  des_single__12_sbox_in__6__6 = (key[36]) ^ (input[30]);
  sbox__6(des_single__12_sbox_in__6__1,des_single__12_sbox_in__6__2,des_single__12_sbox_in__6__3,des_single__12_sbox_in__6__4,des_single__12_sbox_in__6__5,des_single__12_sbox_in__6__6,&des_single__12_sbox_out__6__1,&des_single__12_sbox_out__6__2,&des_single__12_sbox_out__6__3,&des_single__12_sbox_out__6__4);
  input[7] = (des_single__12_sbox_out__6__1) ^ (input[7]);
  input[35] = (des_single__12_sbox_out__6__2) ^ (input[35]);
  input[21] = (des_single__12_sbox_out__6__3) ^ (input[21]);
  input[9] = (des_single__12_sbox_out__6__4) ^ (input[9]);
  des_single__12_sbox_in__7__1 = (key[29]) ^ (input[38]);
  des_single__12_sbox_in__7__2 = (key[61]) ^ (input[30]);
  des_single__12_sbox_in__7__3 = (key[60]) ^ (input[22]);
  des_single__12_sbox_in__7__4 = (key[46]) ^ (input[14]);
  des_single__12_sbox_in__7__5 = (key[4]) ^ (input[6]);
  des_single__12_sbox_in__7__6 = (key[11]) ^ (input[56]);
  sbox__7(des_single__12_sbox_in__7__1,des_single__12_sbox_in__7__2,des_single__12_sbox_in__7__3,des_single__12_sbox_in__7__4,des_single__12_sbox_in__7__5,des_single__12_sbox_in__7__6,&des_single__12_sbox_out__7__1,&des_single__12_sbox_out__7__2,&des_single__12_sbox_out__7__3,&des_single__12_sbox_out__7__4);
  input[25] = (des_single__12_sbox_out__7__1) ^ (input[25]);
  input[47] = (des_single__12_sbox_out__7__2) ^ (input[47]);
  input[11] = (des_single__12_sbox_out__7__3) ^ (input[11]);
  input[29] = (des_single__12_sbox_out__7__4) ^ (input[29]);
  des_single__13_sbox_in__0__1 = (key[41]) ^ (input[7]);
  des_single__13_sbox_in__0__2 = (key[17]) ^ (input[57]);
  des_single__13_sbox_in__0__3 = (key[0]) ^ (input[49]);
  des_single__13_sbox_in__0__4 = (key[26]) ^ (input[41]);
  des_single__13_sbox_in__0__5 = (key[51]) ^ (input[33]);
  des_single__13_sbox_in__0__6 = (key[48]) ^ (input[25]);
  sbox__0(des_single__13_sbox_in__0__1,des_single__13_sbox_in__0__2,des_single__13_sbox_in__0__3,des_single__13_sbox_in__0__4,des_single__13_sbox_in__0__5,des_single__13_sbox_in__0__6,&des_single__13_sbox_out__0__1,&des_single__13_sbox_out__0__2,&des_single__13_sbox_out__0__3,&des_single__13_sbox_out__0__4);
  input[58] = (des_single__13_sbox_out__0__1) ^ (input[58]);
  input[60] = (des_single__13_sbox_out__0__2) ^ (input[60]);
  input[12] = (des_single__13_sbox_out__0__3) ^ (input[12]);
  input[14] = (des_single__13_sbox_out__0__4) ^ (input[14]);
  des_single__13_sbox_in__1__1 = (key[35]) ^ (input[33]);
  des_single__13_sbox_in__1__2 = (key[59]) ^ (input[25]);
  des_single__13_sbox_in__1__3 = (key[33]) ^ (input[17]);
  des_single__13_sbox_in__1__4 = (key[40]) ^ (input[9]);
  des_single__13_sbox_in__1__5 = (key[50]) ^ (input[1]);
  des_single__13_sbox_in__1__6 = (key[8]) ^ (input[59]);
  sbox__1(des_single__13_sbox_in__1__1,des_single__13_sbox_in__1__2,des_single__13_sbox_in__1__3,des_single__13_sbox_in__1__4,des_single__13_sbox_in__1__5,des_single__13_sbox_in__1__6,&des_single__13_sbox_out__1__1,&des_single__13_sbox_out__1__2,&des_single__13_sbox_out__1__3,&des_single__13_sbox_out__1__4);
  input[26] = (des_single__13_sbox_out__1__1) ^ (input[26]);
  input[38] = (des_single__13_sbox_out__1__2) ^ (input[38]);
  input[48] = (des_single__13_sbox_out__1__3) ^ (input[48]);
  input[52] = (des_single__13_sbox_out__1__4) ^ (input[52]);
  des_single__13_sbox_in__2__1 = (key[34]) ^ (input[1]);
  des_single__13_sbox_in__2__2 = (key[1]) ^ (input[59]);
  des_single__13_sbox_in__2__3 = (key[57]) ^ (input[51]);
  des_single__13_sbox_in__2__4 = (key[56]) ^ (input[43]);
  des_single__13_sbox_in__2__5 = (key[10]) ^ (input[35]);
  des_single__13_sbox_in__2__6 = (key[24]) ^ (input[27]);
  sbox__2(des_single__13_sbox_in__2__1,des_single__13_sbox_in__2__2,des_single__13_sbox_in__2__3,des_single__13_sbox_in__2__4,des_single__13_sbox_in__2__5,des_single__13_sbox_in__2__6,&des_single__13_sbox_out__2__1,&des_single__13_sbox_out__2__2,&des_single__13_sbox_out__2__3,&des_single__13_sbox_out__2__4);
  input[4] = (des_single__13_sbox_out__2__1) ^ (input[4]);
  input[2] = (des_single__13_sbox_out__2__2) ^ (input[2]);
  input[22] = (des_single__13_sbox_out__2__3) ^ (input[22]);
  input[16] = (des_single__13_sbox_out__2__4) ^ (input[16]);
  des_single__13_sbox_in__3__1 = (key[25]) ^ (input[35]);
  des_single__13_sbox_in__3__2 = (key[32]) ^ (input[27]);
  des_single__13_sbox_in__3__3 = (key[2]) ^ (input[19]);
  des_single__13_sbox_in__3__4 = (key[58]) ^ (input[11]);
  des_single__13_sbox_in__3__5 = (key[49]) ^ (input[3]);
  des_single__13_sbox_in__3__6 = (key[43]) ^ (input[61]);
  sbox__3(des_single__13_sbox_in__3__1,des_single__13_sbox_in__3__2,des_single__13_sbox_in__3__3,des_single__13_sbox_in__3__4,des_single__13_sbox_in__3__5,des_single__13_sbox_in__3__6,&des_single__13_sbox_out__3__1,&des_single__13_sbox_out__3__2,&des_single__13_sbox_out__3__3,&des_single__13_sbox_out__3__4);
  input[54] = (des_single__13_sbox_out__3__1) ^ (input[54]);
  input[36] = (des_single__13_sbox_out__3__2) ^ (input[36]);
  input[50] = (des_single__13_sbox_out__3__3) ^ (input[50]);
  input[56] = (des_single__13_sbox_out__3__4) ^ (input[56]);
  des_single__13_sbox_in__4__1 = (key[53]) ^ (input[3]);
  des_single__13_sbox_in__4__2 = (key[28]) ^ (input[61]);
  des_single__13_sbox_in__4__3 = (key[3]) ^ (input[53]);
  des_single__13_sbox_in__4__4 = (key[22]) ^ (input[45]);
  des_single__13_sbox_in__4__5 = (key[5]) ^ (input[37]);
  des_single__13_sbox_in__4__6 = (key[4]) ^ (input[29]);
  sbox__4(des_single__13_sbox_in__4__1,des_single__13_sbox_in__4__2,des_single__13_sbox_in__4__3,des_single__13_sbox_in__4__4,des_single__13_sbox_in__4__5,des_single__13_sbox_in__4__6,&des_single__13_sbox_out__4__1,&des_single__13_sbox_out__4__2,&des_single__13_sbox_out__4__3,&des_single__13_sbox_out__4__4);
  input[0] = (des_single__13_sbox_out__4__1) ^ (input[0]);
  input[18] = (des_single__13_sbox_out__4__2) ^ (input[18]);
  input[62] = (des_single__13_sbox_out__4__3) ^ (input[62]);
  input[40] = (des_single__13_sbox_out__4__4) ^ (input[40]);
  des_single__13_sbox_in__5__1 = (key[11]) ^ (input[37]);
  des_single__13_sbox_in__5__2 = (key[61]) ^ (input[29]);
  des_single__13_sbox_in__5__3 = (key[36]) ^ (input[21]);
  des_single__13_sbox_in__5__4 = (key[21]) ^ (input[13]);
  des_single__13_sbox_in__5__5 = (key[54]) ^ (input[5]);
  des_single__13_sbox_in__5__6 = (key[60]) ^ (input[63]);
  sbox__5(des_single__13_sbox_in__5__1,des_single__13_sbox_in__5__2,des_single__13_sbox_in__5__3,des_single__13_sbox_in__5__4,des_single__13_sbox_in__5__5,des_single__13_sbox_in__5__6,&des_single__13_sbox_out__5__1,&des_single__13_sbox_out__5__2,&des_single__13_sbox_out__5__3,&des_single__13_sbox_out__5__4);
  input[32] = (des_single__13_sbox_out__5__1) ^ (input[32]);
  input[30] = (des_single__13_sbox_out__5__2) ^ (input[30]);
  input[42] = (des_single__13_sbox_out__5__3) ^ (input[42]);
  input[44] = (des_single__13_sbox_out__5__4) ^ (input[44]);
  des_single__13_sbox_in__6__1 = (key[29]) ^ (input[5]);
  des_single__13_sbox_in__6__2 = (key[52]) ^ (input[63]);
  des_single__13_sbox_in__6__3 = (key[6]) ^ (input[55]);
  des_single__13_sbox_in__6__4 = (key[27]) ^ (input[47]);
  des_single__13_sbox_in__6__5 = (key[46]) ^ (input[39]);
  des_single__13_sbox_in__6__6 = (key[20]) ^ (input[31]);
  sbox__6(des_single__13_sbox_in__6__1,des_single__13_sbox_in__6__2,des_single__13_sbox_in__6__3,des_single__13_sbox_in__6__4,des_single__13_sbox_in__6__5,des_single__13_sbox_in__6__6,&des_single__13_sbox_out__6__1,&des_single__13_sbox_out__6__2,&des_single__13_sbox_out__6__3,&des_single__13_sbox_out__6__4);
  input[6] = (des_single__13_sbox_out__6__1) ^ (input[6]);
  input[34] = (des_single__13_sbox_out__6__2) ^ (input[34]);
  input[20] = (des_single__13_sbox_out__6__3) ^ (input[20]);
  input[8] = (des_single__13_sbox_out__6__4) ^ (input[8]);
  des_single__13_sbox_in__7__1 = (key[13]) ^ (input[39]);
  des_single__13_sbox_in__7__2 = (key[45]) ^ (input[31]);
  des_single__13_sbox_in__7__3 = (key[44]) ^ (input[23]);
  des_single__13_sbox_in__7__4 = (key[30]) ^ (input[15]);
  des_single__13_sbox_in__7__5 = (key[19]) ^ (input[7]);
  des_single__13_sbox_in__7__6 = (key[62]) ^ (input[57]);
  sbox__7(des_single__13_sbox_in__7__1,des_single__13_sbox_in__7__2,des_single__13_sbox_in__7__3,des_single__13_sbox_in__7__4,des_single__13_sbox_in__7__5,des_single__13_sbox_in__7__6,&des_single__13_sbox_out__7__1,&des_single__13_sbox_out__7__2,&des_single__13_sbox_out__7__3,&des_single__13_sbox_out__7__4);
  input[24] = (des_single__13_sbox_out__7__1) ^ (input[24]);
  input[46] = (des_single__13_sbox_out__7__2) ^ (input[46]);
  input[10] = (des_single__13_sbox_out__7__3) ^ (input[10]);
  input[28] = (des_single__13_sbox_out__7__4) ^ (input[28]);
  des_single__14_sbox_in__0__1 = (key[25]) ^ (input[6]);
  des_single__14_sbox_in__0__2 = (key[1]) ^ (input[56]);
  des_single__14_sbox_in__0__3 = (key[49]) ^ (input[48]);
  des_single__14_sbox_in__0__4 = (key[10]) ^ (input[40]);
  des_single__14_sbox_in__0__5 = (key[35]) ^ (input[32]);
  des_single__14_sbox_in__0__6 = (key[32]) ^ (input[24]);
  sbox__0(des_single__14_sbox_in__0__1,des_single__14_sbox_in__0__2,des_single__14_sbox_in__0__3,des_single__14_sbox_in__0__4,des_single__14_sbox_in__0__5,des_single__14_sbox_in__0__6,&des_single__14_sbox_out__0__1,&des_single__14_sbox_out__0__2,&des_single__14_sbox_out__0__3,&des_single__14_sbox_out__0__4);
  input[59] = (des_single__14_sbox_out__0__1) ^ (input[59]);
  output[58] = input[59];
  input[61] = (des_single__14_sbox_out__0__2) ^ (input[61]);
  output[60] = input[61];
  input[13] = (des_single__14_sbox_out__0__3) ^ (input[13]);
  output[12] = input[13];
  input[15] = (des_single__14_sbox_out__0__4) ^ (input[15]);
  output[14] = input[15];
  des_single__14_sbox_in__1__1 = (key[48]) ^ (input[32]);
  des_single__14_sbox_in__1__2 = (key[43]) ^ (input[24]);
  des_single__14_sbox_in__1__3 = (key[17]) ^ (input[16]);
  des_single__14_sbox_in__1__4 = (key[24]) ^ (input[8]);
  des_single__14_sbox_in__1__5 = (key[34]) ^ (input[0]);
  des_single__14_sbox_in__1__6 = (key[57]) ^ (input[58]);
  sbox__1(des_single__14_sbox_in__1__1,des_single__14_sbox_in__1__2,des_single__14_sbox_in__1__3,des_single__14_sbox_in__1__4,des_single__14_sbox_in__1__5,des_single__14_sbox_in__1__6,&des_single__14_sbox_out__1__1,&des_single__14_sbox_out__1__2,&des_single__14_sbox_out__1__3,&des_single__14_sbox_out__1__4);
  input[27] = (des_single__14_sbox_out__1__1) ^ (input[27]);
  output[26] = input[27];
  input[39] = (des_single__14_sbox_out__1__2) ^ (input[39]);
  output[38] = input[39];
  input[49] = (des_single__14_sbox_out__1__3) ^ (input[49]);
  output[48] = input[49];
  input[53] = (des_single__14_sbox_out__1__4) ^ (input[53]);
  output[52] = input[53];
  des_single__14_sbox_in__2__1 = (key[18]) ^ (input[0]);
  des_single__14_sbox_in__2__2 = (key[50]) ^ (input[58]);
  des_single__14_sbox_in__2__3 = (key[41]) ^ (input[50]);
  des_single__14_sbox_in__2__4 = (key[40]) ^ (input[42]);
  des_single__14_sbox_in__2__5 = (key[59]) ^ (input[34]);
  des_single__14_sbox_in__2__6 = (key[8]) ^ (input[26]);
  sbox__2(des_single__14_sbox_in__2__1,des_single__14_sbox_in__2__2,des_single__14_sbox_in__2__3,des_single__14_sbox_in__2__4,des_single__14_sbox_in__2__5,des_single__14_sbox_in__2__6,&des_single__14_sbox_out__2__1,&des_single__14_sbox_out__2__2,&des_single__14_sbox_out__2__3,&des_single__14_sbox_out__2__4);
  input[5] = (des_single__14_sbox_out__2__1) ^ (input[5]);
  output[4] = input[5];
  input[3] = (des_single__14_sbox_out__2__2) ^ (input[3]);
  output[2] = input[3];
  input[23] = (des_single__14_sbox_out__2__3) ^ (input[23]);
  output[22] = input[23];
  input[17] = (des_single__14_sbox_out__2__4) ^ (input[17]);
  output[16] = input[17];
  des_single__14_sbox_in__3__1 = (key[9]) ^ (input[34]);
  des_single__14_sbox_in__3__2 = (key[16]) ^ (input[26]);
  des_single__14_sbox_in__3__3 = (key[51]) ^ (input[18]);
  des_single__14_sbox_in__3__4 = (key[42]) ^ (input[10]);
  des_single__14_sbox_in__3__5 = (key[33]) ^ (input[2]);
  des_single__14_sbox_in__3__6 = (key[56]) ^ (input[60]);
  sbox__3(des_single__14_sbox_in__3__1,des_single__14_sbox_in__3__2,des_single__14_sbox_in__3__3,des_single__14_sbox_in__3__4,des_single__14_sbox_in__3__5,des_single__14_sbox_in__3__6,&des_single__14_sbox_out__3__1,&des_single__14_sbox_out__3__2,&des_single__14_sbox_out__3__3,&des_single__14_sbox_out__3__4);
  input[55] = (des_single__14_sbox_out__3__1) ^ (input[55]);
  output[54] = input[55];
  input[37] = (des_single__14_sbox_out__3__2) ^ (input[37]);
  output[36] = input[37];
  input[51] = (des_single__14_sbox_out__3__3) ^ (input[51]);
  output[50] = input[51];
  input[57] = (des_single__14_sbox_out__3__4) ^ (input[57]);
  output[56] = input[57];
  des_single__14_sbox_in__4__1 = (key[37]) ^ (input[2]);
  des_single__14_sbox_in__4__2 = (key[12]) ^ (input[60]);
  des_single__14_sbox_in__4__3 = (key[54]) ^ (input[52]);
  des_single__14_sbox_in__4__4 = (key[6]) ^ (input[44]);
  des_single__14_sbox_in__4__5 = (key[52]) ^ (input[36]);
  des_single__14_sbox_in__4__6 = (key[19]) ^ (input[28]);
  sbox__4(des_single__14_sbox_in__4__1,des_single__14_sbox_in__4__2,des_single__14_sbox_in__4__3,des_single__14_sbox_in__4__4,des_single__14_sbox_in__4__5,des_single__14_sbox_in__4__6,&des_single__14_sbox_out__4__1,&des_single__14_sbox_out__4__2,&des_single__14_sbox_out__4__3,&des_single__14_sbox_out__4__4);
  input[1] = (des_single__14_sbox_out__4__1) ^ (input[1]);
  output[0] = input[1];
  input[19] = (des_single__14_sbox_out__4__2) ^ (input[19]);
  output[18] = input[19];
  input[63] = (des_single__14_sbox_out__4__3) ^ (input[63]);
  output[62] = input[63];
  input[41] = (des_single__14_sbox_out__4__4) ^ (input[41]);
  output[40] = input[41];
  des_single__14_sbox_in__5__1 = (key[62]) ^ (input[36]);
  des_single__14_sbox_in__5__2 = (key[45]) ^ (input[28]);
  des_single__14_sbox_in__5__3 = (key[20]) ^ (input[20]);
  des_single__14_sbox_in__5__4 = (key[5]) ^ (input[12]);
  des_single__14_sbox_in__5__5 = (key[38]) ^ (input[4]);
  des_single__14_sbox_in__5__6 = (key[44]) ^ (input[62]);
  sbox__5(des_single__14_sbox_in__5__1,des_single__14_sbox_in__5__2,des_single__14_sbox_in__5__3,des_single__14_sbox_in__5__4,des_single__14_sbox_in__5__5,des_single__14_sbox_in__5__6,&des_single__14_sbox_out__5__1,&des_single__14_sbox_out__5__2,&des_single__14_sbox_out__5__3,&des_single__14_sbox_out__5__4);
  input[33] = (des_single__14_sbox_out__5__1) ^ (input[33]);
  output[32] = input[33];
  input[31] = (des_single__14_sbox_out__5__2) ^ (input[31]);
  output[30] = input[31];
  input[43] = (des_single__14_sbox_out__5__3) ^ (input[43]);
  output[42] = input[43];
  input[45] = (des_single__14_sbox_out__5__4) ^ (input[45]);
  output[44] = input[45];
  des_single__14_sbox_in__6__1 = (key[13]) ^ (input[4]);
  des_single__14_sbox_in__6__2 = (key[36]) ^ (input[62]);
  des_single__14_sbox_in__6__3 = (key[53]) ^ (input[54]);
  des_single__14_sbox_in__6__4 = (key[11]) ^ (input[46]);
  des_single__14_sbox_in__6__5 = (key[30]) ^ (input[38]);
  des_single__14_sbox_in__6__6 = (key[4]) ^ (input[30]);
  sbox__6(des_single__14_sbox_in__6__1,des_single__14_sbox_in__6__2,des_single__14_sbox_in__6__3,des_single__14_sbox_in__6__4,des_single__14_sbox_in__6__5,des_single__14_sbox_in__6__6,&des_single__14_sbox_out__6__1,&des_single__14_sbox_out__6__2,&des_single__14_sbox_out__6__3,&des_single__14_sbox_out__6__4);
  input[7] = (des_single__14_sbox_out__6__1) ^ (input[7]);
  output[6] = input[7];
  input[35] = (des_single__14_sbox_out__6__2) ^ (input[35]);
  output[34] = input[35];
  input[21] = (des_single__14_sbox_out__6__3) ^ (input[21]);
  output[20] = input[21];
  input[9] = (des_single__14_sbox_out__6__4) ^ (input[9]);
  output[8] = input[9]; 
  des_single__14_sbox_in__7__1 = (key[60]) ^ (input[38]);
  des_single__14_sbox_in__7__2 = (key[29]) ^ (input[30]);
  des_single__14_sbox_in__7__3 = (key[28]) ^ (input[22]);
  des_single__14_sbox_in__7__4 = (key[14]) ^ (input[14]);
  des_single__14_sbox_in__7__5 = (key[3]) ^ (input[6]);
  des_single__14_sbox_in__7__6 = (key[46]) ^ (input[56]);
  sbox__7(des_single__14_sbox_in__7__1,des_single__14_sbox_in__7__2,des_single__14_sbox_in__7__3,des_single__14_sbox_in__7__4,des_single__14_sbox_in__7__5,des_single__14_sbox_in__7__6,&des_single__14_sbox_out__7__1,&des_single__14_sbox_out__7__2,&des_single__14_sbox_out__7__3,&des_single__14_sbox_out__7__4);
  input[25] = (des_single__14_sbox_out__7__1) ^ (input[25]);
  output[24] = input[25];
  input[47] = (des_single__14_sbox_out__7__2) ^ (input[47]);
  output[46] = input[47];
  input[11] = (des_single__14_sbox_out__7__3) ^ (input[11]);
  output[10] = input[11];
  input[29] = (des_single__14_sbox_out__7__4) ^ (input[29]);
  output[28] = input[29];
  des_single__15_sbox_in__0__1 = (key[17]) ^ (input[7]);
  des_single__15_sbox_in__0__2 = (key[58]) ^ (input[57]);
  des_single__15_sbox_in__0__3 = (key[41]) ^ (input[49]);
  des_single__15_sbox_in__0__4 = (key[2]) ^ (input[41]);
  des_single__15_sbox_in__0__5 = (key[56]) ^ (input[33]);
  des_single__15_sbox_in__0__6 = (key[24]) ^ (input[25]);
  sbox__0(des_single__15_sbox_in__0__1,des_single__15_sbox_in__0__2,des_single__15_sbox_in__0__3,des_single__15_sbox_in__0__4,des_single__15_sbox_in__0__5,des_single__15_sbox_in__0__6,&des_single__15_sbox_out__0__1,&des_single__15_sbox_out__0__2,&des_single__15_sbox_out__0__3,&des_single__15_sbox_out__0__4);
  output[59] = (des_single__15_sbox_out__0__1) ^ (input[58]);
  output[61] = (des_single__15_sbox_out__0__2) ^ (input[60]);
  output[13] = (des_single__15_sbox_out__0__3) ^ (input[12]);
  output[15] = (des_single__15_sbox_out__0__4) ^ (input[14]);
  des_single__15_sbox_in__1__1 = (key[40]) ^ (input[33]);
  des_single__15_sbox_in__1__2 = (key[35]) ^ (input[25]);
  des_single__15_sbox_in__1__3 = (key[9]) ^ (input[17]);
  des_single__15_sbox_in__1__4 = (key[16]) ^ (input[9]);
  des_single__15_sbox_in__1__5 = (key[26]) ^ (input[1]);
  des_single__15_sbox_in__1__6 = (key[49]) ^ (input[59]);
  sbox__1(des_single__15_sbox_in__1__1,des_single__15_sbox_in__1__2,des_single__15_sbox_in__1__3,des_single__15_sbox_in__1__4,des_single__15_sbox_in__1__5,des_single__15_sbox_in__1__6,&des_single__15_sbox_out__1__1,&des_single__15_sbox_out__1__2,&des_single__15_sbox_out__1__3,&des_single__15_sbox_out__1__4);
  output[27] = (des_single__15_sbox_out__1__1) ^ (input[26]);
  output[39] = (des_single__15_sbox_out__1__2) ^ (input[38]);
  output[49] = (des_single__15_sbox_out__1__3) ^ (input[48]);
  output[53] = (des_single__15_sbox_out__1__4) ^ (input[52]);
  des_single__15_sbox_in__2__1 = (key[10]) ^ (input[1]);
  des_single__15_sbox_in__2__2 = (key[42]) ^ (input[59]);
  des_single__15_sbox_in__2__3 = (key[33]) ^ (input[51]);
  des_single__15_sbox_in__2__4 = (key[32]) ^ (input[43]);
  des_single__15_sbox_in__2__5 = (key[51]) ^ (input[35]);
  des_single__15_sbox_in__2__6 = (key[0]) ^ (input[27]);
  sbox__2(des_single__15_sbox_in__2__1,des_single__15_sbox_in__2__2,des_single__15_sbox_in__2__3,des_single__15_sbox_in__2__4,des_single__15_sbox_in__2__5,des_single__15_sbox_in__2__6,&des_single__15_sbox_out__2__1,&des_single__15_sbox_out__2__2,&des_single__15_sbox_out__2__3,&des_single__15_sbox_out__2__4);
  output[5]  = (des_single__15_sbox_out__2__1) ^ (input[4]);
  output[3]  = (des_single__15_sbox_out__2__2) ^ (input[2]);
  output[23] = (des_single__15_sbox_out__2__3) ^ (input[22]);
  output[17] = (des_single__15_sbox_out__2__4) ^ (input[16]);
  des_single__15_sbox_in__3__1 = (key[1]) ^ (input[35]);
  des_single__15_sbox_in__3__2 = (key[8]) ^ (input[27]);
  des_single__15_sbox_in__3__3 = (key[43]) ^ (input[19]);
  des_single__15_sbox_in__3__4 = (key[34]) ^ (input[11]);
  des_single__15_sbox_in__3__5 = (key[25]) ^ (input[3]);
  des_single__15_sbox_in__3__6 = (key[48]) ^ (input[61]);
  sbox__3(des_single__15_sbox_in__3__1,des_single__15_sbox_in__3__2,des_single__15_sbox_in__3__3,des_single__15_sbox_in__3__4,des_single__15_sbox_in__3__5,des_single__15_sbox_in__3__6,&des_single__15_sbox_out__3__1,&des_single__15_sbox_out__3__2,&des_single__15_sbox_out__3__3,&des_single__15_sbox_out__3__4);
  output[55] = (des_single__15_sbox_out__3__1) ^ (input[54]);
  output[37] = (des_single__15_sbox_out__3__2) ^ (input[36]);
  output[51] = (des_single__15_sbox_out__3__3) ^ (input[50]);
  output[57] = (des_single__15_sbox_out__3__4) ^ (input[56]);
  des_single__15_sbox_in__4__1 = (key[29]) ^ (input[3]);
  des_single__15_sbox_in__4__2 = (key[4]) ^ (input[61]);
  des_single__15_sbox_in__4__3 = (key[46]) ^ (input[53]);
  des_single__15_sbox_in__4__4 = (key[61]) ^ (input[45]);
  des_single__15_sbox_in__4__5 = (key[44]) ^ (input[37]);
  des_single__15_sbox_in__4__6 = (key[11]) ^ (input[29]);
  sbox__4(des_single__15_sbox_in__4__1,des_single__15_sbox_in__4__2,des_single__15_sbox_in__4__3,des_single__15_sbox_in__4__4,des_single__15_sbox_in__4__5,des_single__15_sbox_in__4__6,&des_single__15_sbox_out__4__1,&des_single__15_sbox_out__4__2,&des_single__15_sbox_out__4__3,&des_single__15_sbox_out__4__4);
  output[1]  = (des_single__15_sbox_out__4__1) ^ (input[0]);
  output[19] = (des_single__15_sbox_out__4__2) ^ (input[18]);
  output[63] = (des_single__15_sbox_out__4__3) ^ (input[62]);
  output[41] = (des_single__15_sbox_out__4__4) ^ (input[40]);
  des_single__15_sbox_in__5__1 = (key[54]) ^ (input[37]);
  des_single__15_sbox_in__5__2 = (key[37]) ^ (input[29]);
  des_single__15_sbox_in__5__3 = (key[12]) ^ (input[21]);
  des_single__15_sbox_in__5__4 = (key[60]) ^ (input[13]);
  des_single__15_sbox_in__5__5 = (key[30]) ^ (input[5]);
  des_single__15_sbox_in__5__6 = (key[36]) ^ (input[63]);
  sbox__5(des_single__15_sbox_in__5__1,des_single__15_sbox_in__5__2,des_single__15_sbox_in__5__3,des_single__15_sbox_in__5__4,des_single__15_sbox_in__5__5,des_single__15_sbox_in__5__6,&des_single__15_sbox_out__5__1,&des_single__15_sbox_out__5__2,&des_single__15_sbox_out__5__3,&des_single__15_sbox_out__5__4);
  output[33] = (des_single__15_sbox_out__5__1) ^ (input[32]);
  output[31] = (des_single__15_sbox_out__5__2) ^ (input[30]);
  output[43] = (des_single__15_sbox_out__5__3) ^ (input[42]);
  output[45] = (des_single__15_sbox_out__5__4) ^ (input[44]);
  des_single__15_sbox_in__6__1 = (key[5]) ^ (input[5]);
  des_single__15_sbox_in__6__2 = (key[28]) ^ (input[63]);
  des_single__15_sbox_in__6__3 = (key[45]) ^ (input[55]);
  des_single__15_sbox_in__6__4 = (key[3]) ^ (input[47]);
  des_single__15_sbox_in__6__5 = (key[22]) ^ (input[39]);
  des_single__15_sbox_in__6__6 = (key[27]) ^ (input[31]);
  sbox__6(des_single__15_sbox_in__6__1,des_single__15_sbox_in__6__2,des_single__15_sbox_in__6__3,des_single__15_sbox_in__6__4,des_single__15_sbox_in__6__5,des_single__15_sbox_in__6__6,&des_single__15_sbox_out__6__1,&des_single__15_sbox_out__6__2,&des_single__15_sbox_out__6__3,&des_single__15_sbox_out__6__4);
  output[7]  = (des_single__15_sbox_out__6__1) ^ (input[6]);
  output[35] = (des_single__15_sbox_out__6__2) ^ (input[34]);
  output[21] = (des_single__15_sbox_out__6__3) ^ (input[20]);
  output[9]  = (des_single__15_sbox_out__6__4) ^ (input[8]);
  des_single__15_sbox_in__7__1 = (key[52]) ^ (input[39]);
  des_single__15_sbox_in__7__2 = (key[21]) ^ (input[31]);
  des_single__15_sbox_in__7__3 = (key[20]) ^ (input[23]);
  des_single__15_sbox_in__7__4 = (key[6]) ^ (input[15]);
  des_single__15_sbox_in__7__5 = (key[62]) ^ (input[7]);
  des_single__15_sbox_in__7__6 = (key[38]) ^ (input[57]);
  sbox__7(des_single__15_sbox_in__7__1,des_single__15_sbox_in__7__2,des_single__15_sbox_in__7__3,des_single__15_sbox_in__7__4,des_single__15_sbox_in__7__5,des_single__15_sbox_in__7__6,&des_single__15_sbox_out__7__1,&des_single__15_sbox_out__7__2,&des_single__15_sbox_out__7__3,&des_single__15_sbox_out__7__4);
  output[25] = (des_single__15_sbox_out__7__1) ^ (input[24]);
  output[47] = (des_single__15_sbox_out__7__2) ^ (input[46]);
  output[11] = (des_single__15_sbox_out__7__3) ^ (input[10]);
  output[29] = (des_single__15_sbox_out__7__4) ^ (input[28]);

}


